add: testbench snippet for verilog