You may be interested in also looking at the winning entry in the<br>design competition of the &quot;5th ACM-IEEE Intl. Conf. on Formal Methods<br>and Models for Codesign (MEMOCODE&#39;2007)&quot;<br><br>&nbsp;&nbsp;&nbsp; <a href="http://www.ece.cmu.edu/~jhoe/distribution/mc07contest/">http://www.ece.cmu.edu/~jhoe/distribution/mc07contest/</a><br>
<br>The design problem was a fast matrix multiplier using a combination of<br>SW and HW (FPGA).&nbsp; The winning design was implemented using BSV<br>(Bluespec SystemVerilog, <a href="http://www.bluespec.com">www.bluespec.com</a>), which takes its major<br>
ideas from Haskell and Term Rewriting Systems.<br><br>[ For even more spectacular results, take a look at this year&#39;s<br>&nbsp; MEMOCODE design contest winner.<br><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <a href="http://rijndael.ece.vt.edu/memocontest08/">http://rijndael.ece.vt.edu/memocontest08/</a><br>
<br>&nbsp; The problem was to decrypt, sort and re-encrypt a file of records.<br>&nbsp; Out of 27 entrants, 9 finished the contest.&nbsp; The winning entry was<br>&nbsp; written entirely using BSV, and beat the second-place finisher by a<br>
&nbsp; factor of 11x (yes, 11x, not 11%), and beat the reference software<br>&nbsp; implementation by 1100x. ]<br><br>Regards,<br><br>Nikhil<br><br>