compiles to verilog instead