Verilog function