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

/*

FUNCTION	: XOR for carry logic

*/

`timescale  100 ps / 10 ps


module XORCY_D (LO, O, CI, LI);

    output LO, O;

    input  CI, LI;

	xor X1 (O, CI, LI);
	xor X2 (LO, CI, LI);

    specify
	(CI *> O) = (1, 1);
	(LI *> O) = (1, 1);
	(CI *> LO) = (1, 1);
	(LI *> LO) = (1, 1);
    endspecify

endmodule