| 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 |
