Serguey,<div><br></div><div>I&#39;m working on a similar project. What&#39;s the chance you have your source code in the open?</div><div><br></div><div>/jve<br><br><div class="gmail_quote">On Thu, Mar 11, 2010 at 7:30 AM, Serguey Zefirov <span dir="ltr">&lt;<a href="mailto:sergueyz@gmail.com">sergueyz@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">2010/3/10 Tom Hawkins &lt;<a href="mailto:tomahawkins@gmail.com">tomahawkins@gmail.com</a>&gt;:<br>
<div class="im">&gt; On Wed, Mar 10, 2010 at 8:07 AM, Warren Henning<br>
&gt; &lt;<a href="mailto:warren.henning@gmail.com">warren.henning@gmail.com</a>&gt; wrote:<br>
&gt;&gt; Wow. Quite ambitious.<br>
&gt;&gt;<br>
&gt;&gt; Was this inspired by work at your current employer like with Atom and<br>
&gt;&gt; some of the other stuff you&#39;ve released?<br>
&gt;<br>
&gt; Yes, we had an immediate need to debug some machine code.  I looked<br>
&gt; around, but all the emulators I found (PSIM, et al.) were too<br>
&gt; complicated.<br>
&gt;<br>
&gt; I&#39;m also intrigued by the emphasis on software verification at the<br>
&gt; object code level for aerospace (DO-178).  I figure better tools in<br>
&gt; this area may open the door to using advanced design methods like Atom<br>
&gt; for avionics.  Of course it&#39;s unlikely this project will reach that<br>
&gt; level of maturity, but you never know.<br>
<br>
</div>We wrote the debugger and simulator for AVR line of microcontroller cores.<br>
<br>
We used a DSEL to describe inner workings of commands and now try to<br>
apply it to ARM ISA.<br>
<br>
The Haskell code is heavy on the use of type-level computations and,<br>
especially, assiciated types.<br>
<div><div></div><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>