[Haskell-cafe] ANN: powerpc-0.0.1
John Van Enk
vanenkj at gmail.com
Thu Mar 11 11:19:18 EST 2010
I'm working on a similar project. What's the chance you have your source
code in the open?
On Thu, Mar 11, 2010 at 7:30 AM, Serguey Zefirov <sergueyz at gmail.com> wrote:
> 2010/3/10 Tom Hawkins <tomahawkins at gmail.com>:
> > On Wed, Mar 10, 2010 at 8:07 AM, Warren Henning
> > <warren.henning at gmail.com> 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
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe