yosys/tests/various/abc9.v

10 lines
155 B
Coq
Raw Normal View History

module abc9_test027(output reg o);
initial o = 1'b0;
always @*
o <= ~o;
endmodule
2019-07-02 21:13:40 -05:00
module abc9_test028(input i, output o);
unknown u(~i, o);
endmodule