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

/*

FUNCTION	: 12-INPUT AND GATE

*/

`timescale  100 ps / 10 ps


module AND12 (O, I0, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11);

    output O;

    input  I0, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11;

    and O1 (O, I0, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11);

    specify
	(I0 *> O) = (1, 1);
	(I1 *> O) = (1, 1);
	(I2 *> O) = (1, 1);
	(I3 *> O) = (1, 1);
	(I4 *> O) = (1, 1);
	(I5 *> O) = (1, 1);
	(I6 *> O) = (1, 1);
	(I7 *> O) = (1, 1);
	(I8 *> O) = (1, 1);
	(I9 *> O) = (1, 1);
	(I10 *> O) = (1, 1);
	(I11 *> O) = (1, 1);
    endspecify

endmodule