diff options
Diffstat (limited to 'tests/sat/splice.ys')
| -rw-r--r-- | tests/sat/splice.ys | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/sat/splice.ys b/tests/sat/splice.ys new file mode 100644 index 00000000..365a4e2f --- /dev/null +++ b/tests/sat/splice.ys @@ -0,0 +1,14 @@ +read_verilog splice.v +hierarchy -check; opt +copy test gold + +cd test +splice +# show + +cd .. +rename test gate +miter -equiv -make_assert -make_outputs gold gate miter + +flatten miter +sat -verify -prove-asserts -show-inputs -show-outputs miter |