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

/*

FUNCTION	: INPUT BUFFER

*/

`timescale  100 ps / 10 ps


module IBUFGDS_LVDSEXT_25_DCI (O, I, IB);

    output O;

    input  I, IB;

    reg o_out;

    buf b_0 (O, o_out);

    always @(I or IB) begin
	if (I == 1'b1 && IB == 1'b0)
	    o_out <= I;
	else if (I == 1'b0 && IB == 1'b1)
	    o_out <= I;
    end

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

endmodule