verilog examples