diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-08 21:27:04 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-08 21:31:56 +0100 |
| commit | 039bb456cc2758db13d0f51b71603419a6de0477 (patch) | |
| tree | 38272aa23fea2bfc8dd14b4f210061ce0eae4a9c /tests/sat/expose_dff.ys | |
| parent | 85914c36e55b0089c1e2bd9912cd04d56627bcc0 (diff) | |
Added test cases for expose -evert-dff
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 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 + |