Serguey, I'm working on a similar project. What's the chance you have your source code in the open?
/jve 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
