tests/various/pmgen_reduce.ys

   1 test_pmgen -generate reduce
   2 hierarchy -top pmtest_test_pmgen_pm_reduce
   3 flatten; opt_clean
   4
   5 design -save gold
   6 test_pmgen -reduce_chain
   7 design -stash gate
   8
   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
  13
  14 design -load gold
  15 test_pmgen -reduce_tree
  16 design -stash gate
  17
  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