verilog xor語法