verilog.snip