Fix verilog snippet