Import yosys_0.7.orig.tar.gz

[dgit import orig yosys_0.7.orig.tar.gz]

1 files changed, 15 insertions, 0 deletions

diff --git a/tests/sat/expose_dff.ys b/tests/sat/expose_dff.ys
new file mode 100644
index 00000000..95556840
--- /dev/null
+++ b/tests/sat/expose_dff.ys
@@ -0,0 +1,15 @@
+
+read_verilog expose_dff.v
+hierarchy; proc;;
+
+expose -shared -evert-dff test1 test2
+miter -equiv test1 test2 miter12
+flatten miter12; opt miter12
+
+expose -shared -evert-dff test3 test4
+miter -equiv test3 test4 miter34
+flatten miter34; opt miter34
+
+sat -verify -prove trigger 0 miter12
+sat -verify -prove trigger 0 miter34
+