We have released a new version of the SPARK C-to-VHDL tool that is available on the Windows, Solaris, Linux platform and produces VHDL that is synthesizable by Xilinx XST. SPARK can be downloaded from:
formatting link
Sumit snipped-for-privacy@cecs.uci.edu
formatting link