diff options
Diffstat (limited to 'tests/sat/expose_dff.ys')
-rw-r--r-- | tests/sat/expose_dff.ys | 15 |
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 000000000..95556840a --- /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 + |