mirror of https://github.com/YosysHQ/yosys.git
6 lines
86 B
Coq
6 lines
86 B
Coq
|
module abc9_test027(output reg o);
|
||
|
initial o = 1'b0;
|
||
|
always @*
|
||
|
o <= ~o;
|
||
|
endmodule
|