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