Verilog/example