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

/*

FUNCTION	: 2 to 1 Multiplexer for Carry Logic

*/

`timescale  100 ps / 10 ps


module MUXF7_L (LO, I0, I1, S);

    output LO;
    reg    lo_out;

    input  I0, I1, S;

    buf B1 (LO, lo_out);

	always @(I0 or I1 or S) begin
	    if (S)
		lo_out <= I1;
	    else
		lo_out <= I0;
	end

    specify
	(I0 => LO) = (1, 1);
	(I1 => LO) = (1, 1);
	(S  => LO) = (1, 1);
    endspecify

endmodule