To All, Has anyone worked with generating vhdl code to promela script for the spin model checker?? David Blubaugh -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121204/b76bd607/attachment.html>