mirror of https://github.com/YosysHQ/yosys.git
11 lines
188 B
Coq
11 lines
188 B
Coq
|
module \$__ABC9_FF_ (input D, output Q);
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
(* abc9_box *)
|
||
|
|
module \$__ABC9_DELAY (input I, output O);
|
||
|
|
parameter DELAY = 0;
|
||
|
|
specify
|
||
|
|
(I => O) = DELAY;
|
||
|
|
endspecify
|
||
|
|
endmodule
|