verilog运算