verilog习题