SystemC to Verilog Synthesizable Subset Translator