15 lines
259 B
Coq
15 lines
259 B
Coq
|
(* techmap_celltype = "$dff" *)
|
||
|
|
module dff2ff (CLK, D, Q);
|
||
|
|
parameter WIDTH = 1;
|
||
|
|
parameter CLK_POLARITY = 1;
|
||
|
|
|
||
|
|
input CLK;
|
||
|
|
input [WIDTH-1:0] D;
|
||
|
|
output reg [WIDTH-1:0] Q;
|
||
|
|
|
||
|
|
wire [1023:0] _TECHMAP_DO_ = "proc;;";
|
||
|
|
|
||
|
|
always @($global_clock)
|
||
|
|
Q <= D;
|
||
|
|
endmodule
|