verilog: working testbench