FDR.v 621 Bytes
// $Header: /root/leakn64/depot/rf/hw/flif/xilinx/FDR.v,v 1.1 2003/08/20 23:46:46 berndt Exp $

/*

FUNCTION	: D-FLIP-FLOP with sync reset

*/

`timescale  100 ps / 10 ps


module FDR (Q, C, D, R);

    parameter INIT = 1'b0;

    output Q;
    reg    q_out;

    input  C, D, R;

    tri0 GSR = glbl.GSR;

    buf B1 (Q, q_out);

	always @(GSR)
	    if (GSR)
		assign q_out = INIT;
	    else
		deassign q_out;

	always @(posedge C)
	    if (R)
		q_out <= 0;
	    else
		q_out <= D;

    specify
	if (R)
	    (posedge C => (Q +: 1'b0)) = (1, 1);
	if (!R)
	    (posedge C => (Q +: D)) = (1, 1);
    endspecify

endmodule