mirror of
https://github.com/YosysHQ/yosys
synced 2025-09-03 08:38:07 +00:00
Added test cases for expose -evert-dff
This commit is contained in:
parent
85914c36e5
commit
039bb456cc
2 changed files with 48 additions and 0 deletions
15
tests/sat/expose_dff.ys
Normal file
15
tests/sat/expose_dff.ys
Normal file
|
@ -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
|
||||
|
Loading…
Add table
Add a link
Reference in a new issue