diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-08-20 11:39:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-20 11:39:42 +0200 |
| commit | ba71e4f8f2279aed381bb024acb61ed793ca78c5 (patch) | |
| tree | 4bbcb60156a215dd462298904aa8e537465d5355 /tests | |
| parent | 6ffb910d12a93e64182b52a58e69386851f2d595 (diff) | |
| parent | d0117d7d12483abd126602c1220a80e2eb807873 (diff) | |
| download | yosys-ba71e4f8f2279aed381bb024acb61ed793ca78c5.tar.gz yosys-ba71e4f8f2279aed381bb024acb61ed793ca78c5.tar.bz2 yosys-ba71e4f8f2279aed381bb024acb61ed793ca78c5.zip | |
Merge pull request #1298 from YosysHQ/clifford/pmgen
Improvements in pmgen
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/various/pmgen_reduce.ys | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tests/various/pmgen_reduce.ys b/tests/various/pmgen_reduce.ys new file mode 100644 index 000000000..c214d3f25 --- /dev/null +++ b/tests/various/pmgen_reduce.ys @@ -0,0 +1,21 @@ +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 |