<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;"><DIV>To All,</DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV>Has anyone worked with generating vhdl code to promela script for the spin model checker??</DIV>
<DIV> </DIV>
<DIV>David Blubaugh</DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV> </DIV></td></tr></table>