C-to-hardware compiler (HLL synthesis) [closed]

Answer 1

Cynthesizer, which is SystemC based. CellMath will go the other way, take Verilog and create a C model.