verilog code for boolean expression