Verilog codes