Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enhancements to balancing, LUT mapping, and rewriting #616

Merged
merged 9 commits into from
Aug 6, 2023

Conversation

aletempiac
Copy link
Member

@aletempiac aletempiac commented Aug 4, 2023

This PR includes:

  • Enhancements in LUT mapping: new area optimization round providing better quality, changed cut prioritization cost functions, dumping directly the k-LUT network with integrated inverter sweeping, support LUT mapping based on SOP or ESOP balancing
  • Enhanced ESOP and ESOP balancing based on LUT-mapping: provides better delay and area results compared to previous implementation
  • Enhanced ESOP and SOP generation and balancing
  • Fix in AIG balancing due to structural hashing conflicts
  • Fix in rewrite for depth preserving rewriting
  • Increasing the support for sequential circuits incut_enumeration, lut_map, and depth_view
  • Adding the methods substitute_node_no_restrash to aig_network, xag_network, mig_network, xmg_network, and fanout_view
  • Adding the method replace_in_node_no_restrash to aig_network, xag_network, mig_network, and xmg_network

@codecov-commenter
Copy link

codecov-commenter commented Aug 4, 2023

Codecov Report

Attention: Patch coverage is 87.14810% with 105 lines in your changes missing coverage. Please review.

Project coverage is 84.28%. Comparing base (fac58aa) to head (8a6276b).
Report is 30 commits behind head on master.

Files Patch % Lines
include/mockturtle/algorithms/lut_mapper.hpp 86.85% 61 Missing ⚠️
include/mockturtle/views/depth_view.hpp 10.00% 9 Missing ⚠️
include/mockturtle/networks/xmg.hpp 87.50% 8 Missing ⚠️
...mockturtle/algorithms/balancing/esop_balancing.hpp 88.70% 7 Missing ⚠️
include/mockturtle/algorithms/balancing.hpp 91.93% 5 Missing ⚠️
.../mockturtle/algorithms/balancing/sop_balancing.hpp 83.33% 5 Missing ⚠️
include/mockturtle/networks/mig.hpp 93.33% 3 Missing ⚠️
include/mockturtle/views/fanout_view.hpp 72.72% 3 Missing ⚠️
include/mockturtle/networks/xag.hpp 94.44% 2 Missing ⚠️
include/mockturtle/algorithms/rewrite.hpp 80.00% 1 Missing ⚠️
... and 1 more
Additional details and impacted files
@@            Coverage Diff             @@
##           master     #616      +/-   ##
==========================================
+ Coverage   84.18%   84.28%   +0.09%     
==========================================
  Files         178      178              
  Lines       24168    24893     +725     
==========================================
+ Hits        20346    20980     +634     
- Misses       3822     3913      +91     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@aletempiac aletempiac merged commit 1d2f04f into lsils:master Aug 6, 2023
17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants