verilog比较大小