/jve

On Thu, Mar 11, 2010 at 7:30 AM, Serguey Zefirov <sergueyz@gmail.com> wrote:

2010/3/10 Tom Hawkins <tomahawkins@gmail.com>:

> On Wed, Mar 10, 2010 at 8:07 AM, Warren Henning
> <warren.henning@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. 狢 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). 狢 figure better tools in
> this area may open the door to using advanced design methods like Atom
> for avionics. 𤪻f 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@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe