<br><div class="gmail_quote">On Tue, Jul 8, 2008 at 5:43 PM, Marc Weber <<a href="mailto:marco-oweber@gmx.de">marco-oweber@gmx.de</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Is Haskell still used (in industry as well ?) to write (V)HDL code to<br>
program FPGAs and create circuits on chips?</blockquote><div><br>Indeed! Galois maintains a language called Cryptol. Almost all tools for this language, including an FPGA compiler that produces HDL, are written in Haskell. It is not open source, nor is it free as in beer, but there is a free academic version without FPGA support.<br>
<br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
The Chalmers Lava homepage tells abouta Xilinx version which should be<br>
merged in soon. But on the xilinx homepage there was no reference to<br>
neither Lava nor haskell..</blockquote><div><br>As for Lava and the Xilinx version, I am not really sure how actively it is being developed. Perhaps someone else here knows?<br>
<br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I'm thinking about designing a similar tool to <a href="http://www.combimouse.com" target="_blank">www.combimouse.com</a>. </blockquote><div><br>You're going to design something like that with an FPGA in it? :)<br>
<br>For a simple enough design, it can be useful to write specs in Haskell and then translate them to HDL by hand. I believe someone on this list had a particularly successful experience doing that :).<br><br>- Philip<br>
</div><div> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Sincerly<br>
Marc<br>
_______________________________________________<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>
</blockquote></div><br>