yosys/tests/various/abc9.v

19 lines
338 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);
2019-08-30 22:31:53 -05:00
wire w;
unknown u(~i, w);
unknown2 u2(w, o);
2019-07-02 21:13:40 -05:00
endmodule
2019-11-19 19:05:14 -06:00
module abc9_test032(input clk, d, r, output reg q);
2019-11-19 19:05:14 -06:00
initial q = 1'b0;
always @(negedge clk or negedge r)
2019-11-21 18:33:20 -06:00
if (!r) q <= 1'b0;
2019-11-19 19:05:14 -06:00
else q <= d;
endmodule