1 test_pmgen -generate reduce
2 hierarchy -top pmtest_test_pmgen_pm_reduce
6 test_pmgen -reduce_chain
9 design -copy-from gold -as gold pmtest_test_pmgen_pm_reduce
10 design -copy-from gate -as gate pmtest_test_pmgen_pm_reduce
11 miter -equiv -flatten -make_assert gold gate miter
12 sat -verify -prove-asserts miter
15 test_pmgen -reduce_tree
18 design -copy-from gold -as gold pmtest_test_pmgen_pm_reduce
19 design -copy-from gate -as gate pmtest_test_pmgen_pm_reduce
20 miter -equiv -flatten -make_assert gold gate miter
21 sat -verify -prove-asserts miter