verilog实现