lsils / mockturtle

C++ logic network library
MIT License
191 stars 133 forks source link

Inverter optimization and propagation #610

Closed BugraEryilmaz closed 1 year ago

BugraEryilmaz commented 1 year ago

Implementation of: https://ieeexplore.ieee.org/document/7568618 https://ieeexplore.ieee.org/document/7987513

codecov-commenter commented 1 year ago

Codecov Report

Merging #610 (c1d50e1) into master (436e4bf) will increase coverage by 0.05%. The diff coverage is 87.38%.

:exclamation: Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@            Coverage Diff             @@
##           master     #610      +/-   ##
==========================================
+ Coverage   83.09%   83.14%   +0.05%     
==========================================
  Files         176      178       +2     
  Lines       24146    24368     +222     
==========================================
+ Hits        20064    20261     +197     
- Misses       4082     4107      +25     
Impacted Files Coverage Δ
...lude/mockturtle/algorithms/mig_inv_propagation.hpp 85.05% <85.05%> (ø)
...ude/mockturtle/algorithms/mig_inv_optimization.hpp 88.72% <88.72%> (ø)
include/mockturtle/networks/mig.hpp 88.23% <100.00%> (+0.73%) :arrow_up:
lee30sonia commented 1 year ago

Thanks for the feedback! The suggestions all make sense to me. @BugraEryilmaz Would you like to submit another PR to fix them?

marcelwa commented 1 year ago

@lee30sonia @BugraEryilmaz just checking if there is any update on this endeavor.

lee30sonia commented 1 year ago

I don't think he will keep working on this. Please feel free to submit a PR for this. Thanks!

marcelwa commented 1 year ago

Got it. Will see when I have time for this.