mirror of https://github.com/YosysHQ/yosys.git
22 lines
625 B
Plaintext
22 lines
625 B
Plaintext
test_pmgen -generate reduce
|
|
hierarchy -top pmtest_test_pmgen_pm_reduce
|
|
flatten; opt_clean
|
|
|
|
design -save gold
|
|
test_pmgen -reduce_chain
|
|
design -stash gate
|
|
|
|
design -copy-from gold -as gold pmtest_test_pmgen_pm_reduce
|
|
design -copy-from gate -as gate pmtest_test_pmgen_pm_reduce
|
|
miter -equiv -flatten -make_assert gold gate miter
|
|
sat -verify -prove-asserts miter
|
|
|
|
design -load gold
|
|
test_pmgen -reduce_tree
|
|
design -stash gate
|
|
|
|
design -copy-from gold -as gold pmtest_test_pmgen_pm_reduce
|
|
design -copy-from gate -as gate pmtest_test_pmgen_pm_reduce
|
|
miter -equiv -flatten -make_assert gold gate miter
|
|
sat -verify -prove-asserts miter
|