From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 26 Nov 2019 00:07:35 +0000 (-0800)
Subject: Add testcase where \init is copied
X-Git-Tag: working-ls180~778^2~17
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dd317c92808a73e61e771a123fc4377d3fb78af2;p=yosys.git

Add testcase where \init is copied
---

diff --git a/tests/various/submod.ys b/tests/various/submod.ys
index 7c6f555ac..f50556d76 100644
--- a/tests/various/submod.ys
+++ b/tests/various/submod.ys
@@ -48,3 +48,21 @@ design -import gate -as gate
 
 miter -equiv -flatten -make_assert -make_outputs gold gate miter
 sat -verify -prove-asserts -show-ports miter
+
+
+design -reset
+read_verilog -icells <<EOT
+module top(input d, c, (* init = 1'b1 *) output reg q);
+(* submod="bar" *) DFF s1(.D(d), .C(c), .Q(q));
+endmodule
+
+module DFF(input D, C, output Q);
+parameter INIT = 1'b0;
+endmodule
+EOT
+
+hierarchy -top top
+
+submod
+dffinit -ff DFF Q INIT
+check -noinit -assert