Serguey, The system I'm writing has a type in place for the AVR instruction set. I'm working on writing an assembler/disassembler for it as well. It might make sense, if your employer deems it worthwhile to release the code, to collaborate.
/jve On Thu, Mar 11, 2010 at 11:35 AM, Serguey Zefirov <[email protected]>wrote: > 2010/3/11 John Van Enk <[email protected]>: > > Serguey, > > I'm working on a similar project. What's the chance you have your source > > code in the open? > > /jve > > I'll ask. > > But chances are pretty small. > > I'll think about reimplementing command description from scratch. > > > On Thu, Mar 11, 2010 at 7:30 AM, Serguey Zefirov <[email protected]> > wrote: > >> > >> 2010/3/10 Tom Hawkins <[email protected]>: > >> > On Wed, Mar 10, 2010 at 8:07 AM, Warren Henning > >> > <[email protected]> wrote: > >> >> Wow. Quite ambitious. > >> >> > >> >> Was this inspired by work at your current employer like with Atom and > >> >> some of the other stuff you've released? > >> > > >> > Yes, we had an immediate need to debug some machine code. I looked > >> > around, but all the emulators I found (PSIM, et al.) were too > >> > complicated. > >> > > >> > I'm also intrigued by the emphasis on software verification at the > >> > object code level for aerospace (DO-178). I figure better tools in > >> > this area may open the door to using advanced design methods like Atom > >> > for avionics. Of course it's unlikely this project will reach that > >> > level of maturity, but you never know. > >> > >> We wrote the debugger and simulator for AVR line of microcontroller > cores. > >> > >> We used a DSEL to describe inner workings of commands and now try to > >> apply it to ARM ISA. > >> > >> The Haskell code is heavy on the use of type-level computations and, > >> especially, assiciated types. > >> _______________________________________________ > >> Haskell-Cafe mailing list > >> [email protected] > >> http://www.haskell.org/mailman/listinfo/haskell-cafe > > > > >
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
