verilog 复习