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

/*

FUNCTION	: TRI-STATE OUTPUT BUFFER

*/

`timescale  100 ps / 10 ps


module OBUFTDS_ULVDS_25 (O, OB, I, T);

    output O, OB;

    input  I, T;

    tri0 GTS = glbl.GTS;

    or O1 (ts, GTS, T);
    bufif0 B1 (O, I, ts);
    notif0 N1 (OB, I, ts);

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

endmodule