debug for verilog