verilog程序