Testing new verilog backend