issues
search
lsils
/
mockturtle
C++ logic network library
MIT License
191
stars
133
forks
source link
Refactoring extensions and fixes
#607
Closed
aletempiac
closed
1 year ago
aletempiac
commented
1 year ago
This PR includes:
Extending refactoring to extract a reconvergence-driven cut on large MFFCs instead of skipping them -> better quality
Fixes in MFFC view (issue #571): use of fanout counters instead of values, fixing the erroneous double reference
Fixes in refactoring (issue #571): use of fanout counters instead of values -> better quality
Experiment on how to use refactoring for SOP resynthesis
This PR includes: