module invGate (
  input A,
  output B
);

not a1 (B, A);

endmodule