// $Header: /root/leakn64/depot/rf/hw/debug/xilinx/INV.v,v 1.1 2003/04/01 21:47:34 berndt Exp $

/*

FUNCTION	: INVERTER

*/

`timescale  100 ps / 10 ps


module INV (O, I);

    output O;

    input  I;

	not N1 (O, I);

    specify
	(I *> O) = (1, 1);
    endspecify

endmodule