Skip to content

MIG resynthesis engines #414

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 25 commits into from
Dec 31, 2020
Merged

MIG resynthesis engines #414

merged 25 commits into from
Dec 31, 2020

Conversation

@lee30sonia
Copy link
Member

@lee30sonia lee30sonia commented Dec 30, 2020

This PR:

  • Implements three MIG resynthesis algorithms in mig_resyn_engines.hpp and adds simple tests for them.
  • Adds the interface to use these engines in mig_resub.
  • Ports changes from kitty.

The three resynthesis algorithms include:

  1. A simple bottom-up approach that will always create a chain of MAJ gates.
  2. A complicated top-down decomposition heuristic which is still work-in-progress.
  3. A re-implementation of Akers synthesis.

@lee30sonia
mig resub: bottom up approach
d7baae4
@lee30sonia
Merge branch 'master' into lee30sonia/mig_resub
55d3571
@lee30sonia
top-down: first try
66b8ec6
@lee30sonia
caching; avoid being stuck; choosing expansion position; separate two…
f852c74 
… approaches
@lee30sonia
use kitty::hash; NPN enumeration
f4604fe
@lee30sonia
try all starting points at the first node
83d57f1
@lee30sonia
Merge branch 'master' into lee30sonia/mig_resub
033426d
@lee30sonia
several improvements
2afc891 
Now producing optimal solutions for all 3-input functions!
Update details:
try all tie-breakings of topmost node;
two back-up queues of expansion positions;
expand positions with less mismatches first
@lee30sonia
fix performance bug
efdc5d7
@lee30sonia
use new mig_resub_engine in the resub flow
00aab29
@lee30sonia
updating cares; easy refine; use index_list
5273789
@lee30sonia
port kitty changes
ad2af34
@lee30sonia
re-implementation of akers synthesis
a5d7af4
@lee30sonia
adjust interface
de0d1d5
@lee30sonia
Merge branch 'master' into lee30sonia/mig_resub
05eb5cc
@lee30sonia
unify interfaces
e36845b
@lee30sonia
rename files
19dba9b
@lee30sonia
Delete mig_resub_engine.cpp
6b6f0aa
@lee30sonia
rename & add tests
ee8a191
@lee30sonia
cleanup
ce9ded2
@lee30sonia
typo in index_list
549bf31
@lee30sonia
try to see if the problem comes from the new tests
6bdafa6
@coveralls
Copy link

coveralls commented Dec 31, 2020 •
edited
Loading

Pull Request Test Coverage Report for Build 454857198

  • 426 of 548 (77.74%) changed or added relevant lines in 2 files are covered.
  • 2 unchanged lines in 1 file lost coverage.
  • Overall coverage increased (+1.2%) to 81.431%
Changes Missing Coverage Covered Lines Changed/Added Lines %
include/mockturtle/algorithms/mig_resyn_engines.hpp 406 528 76.89%
Files with Coverage Reduction New Missed Lines %
include/mockturtle/algorithms/simulation.hpp 2 92.07%
Totals Coverage Status
Change from base Build 436497224: 1.2%
Covered Lines: 10823
Relevant Lines: 13291
💛 - Coveralls

@lee30sonia lee30sonia merged commit bf154eb into master Dec 31, 2020
@lee30sonia lee30sonia deleted the lee30sonia/mig_resub branch December 31, 2020 17:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@lee30sonia @coveralls