From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Wed, 6 Feb 2019 20:49:30 +0000 (-0800)
Subject: Add testcase
X-Git-Tag: yosys-0.9~313^2~11
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a9674bd2eca5efac6e4f7b2871a01cbba80f64ec;p=yosys.git

Add testcase
---

diff --git a/tests/simple/dff_init.v b/tests/simple/dff_init.v
new file mode 100644
index 000000000..aad378346
--- /dev/null
+++ b/tests/simple/dff_init.v
@@ -0,0 +1,10 @@
+module dff_test(n1, n1_inv, clk);
+  input clk;
+  (* init = 32'd0 *)
+  output n1;
+  reg n1 = 32'd0;
+  output n1_inv;
+  always @(posedge clk)
+      n1 <= n1_inv;
+  assign n1_inv = ~n1;
+endmodule