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
