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.

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

Tuning heuristics in emap #639

Merged
merged 9 commits into from
Apr 26, 2024
Merged

Tuning heuristics in emap #639

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
4d29ec0
First incomplete tuned emap
aletempiac Apr 24, 2024
ac376e8
Fixes for tuning estimated references and inverters
aletempiac Apr 24, 2024
28091a0
Removing collective references and collective estimations, removing d…
aletempiac Apr 25, 2024
0a8f4b8
Experiment file
aletempiac Apr 25, 2024
25b0bf1
Add new multi-output cut initialization
aletempiac Apr 25, 2024
996c068
Fixes to emap
aletempiac Apr 25, 2024
4d6ba96
Lowering the default memory usage and formatting the code
aletempiac Apr 26, 2024
72e7d7e
Reverting emap experiment to default
aletempiac Apr 26, 2024
ecb1746
Add updated tests
aletempiac Apr 26, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion experiments/emap.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,7 @@ int main()
/* remove structural redundancies */
aig_balancing_params bps;
bps.minimize_levels = false;
bps.fast_mode = false;
bps.fast_mode = true;
aig_balance( aig, bps );

const uint32_t size_before = aig.num_gates();
Expand Down
Loading
Loading