Verilog to ANSI-C Translator tool