Verilog And Not