aboutsummaryrefslogtreecommitdiffstats
path: root/tests/simple_abc9
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-11-23 08:38:48 -0800
committerEddie Hung <eddie@fpgeh.com>2019-11-23 08:38:48 -0800
commitb46e636c9142ef69ed1b76e9f968716a258aff46 (patch)
tree08108ac4b8bfaa1644c5fd73c4d19221963c5229 /tests/simple_abc9
parent1851f4b4889a45dbb28ed1969ce63c3d7afcede7 (diff)
parent23fcdd96b3fda06bb9400b9b729f8a86a3725e84 (diff)
downloadyosys-b46e636c9142ef69ed1b76e9f968716a258aff46.tar.gz
yosys-b46e636c9142ef69ed1b76e9f968716a258aff46.tar.bz2
yosys-b46e636c9142ef69ed1b76e9f968716a258aff46.zip
Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dff
Diffstat (limited to 'tests/simple_abc9')
-rw-r--r--tests/simple_abc9/abc9.v14
1 files changed, 7 insertions, 7 deletions
diff --git a/tests/simple_abc9/abc9.v b/tests/simple_abc9/abc9.v
index 8314af211..99075d319 100644
--- a/tests/simple_abc9/abc9.v
+++ b/tests/simple_abc9/abc9.v
@@ -268,23 +268,23 @@ assign o = { 1'b1, 1'bx };
assign p = { 1'b1, 1'bx, 1'b0 };
endmodule
-module abc9_test029(input clk, d, r, output reg q);
+module abc9_test029(input clk1, clk2, d, output reg q1, q2);
+always @(posedge clk1) q1 <= d;
+always @(negedge clk2) q2 <= q1;
+endmodule
+
+module abc9_test030(input clk, d, r, output reg q);
always @(posedge clk or posedge r)
if (r) q <= 1'b0;
else q <= d;
endmodule
-module abc9_test030(input clk, d, r, output reg q);
+module abc9_test031(input clk, d, r, output reg q);
always @(negedge clk or posedge r)
if (r) q <= 1'b1;
else q <= d;
endmodule
-module abc9_test032(input clk1, clk2, d, output reg q1, q2);
-always @(posedge clk1) q1 <= d;
-always @(negedge clk2) q2 <= q1;
-endmodule
-
module abc9_test033(input clk, d, output reg q1, q2);
always @(posedge clk) q1 <= d;
always @(posedge clk) q2 <= q1;