zcy
/
phyLS
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

PigMAP update

master
panhomyoung 2024-07-01 10:27:13 +08:00
parent d7ee97b059
commit 63c125a1fa
4 changed files with 3 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/abc

@ -1 +1 @@
Subproject commit 9434b7438599b2fe94ec518946d0e1b6b2de3172 Subproject commit 39ac544f6c3272046a026fc976976b1481f9c9ad

2
lib/mockturtle

@ -1 +1 @@
Subproject commit 8a9409e27c17d32517e3c4e4a612d3c6d465aa1f Subproject commit 995ee748dd74d088bcd27a9eef5af89b55ac90b5

5
src/commands/window_rewriting.hpp
View File

@ -41,7 +41,6 @@ class wr_command : public command {
"set the window level, default = 5"); "set the window level, default = 5");
add_flag("--gain, -g", "optimize until there is no gain"); add_flag("--gain, -g", "optimize until there is no gain");
add_flag("--resub, -r", "window resub"); add_flag("--resub, -r", "window resub");
add_flag("--mffw, -w", "MFFW rewriting");
add_flag("--verbose, -v", "print the information"); add_flag("--verbose, -v", "print the information");
} }
@ -76,10 +75,6 @@ class wr_command : public command {
if (is_set("verbose")) win_st.report(); if (is_set("verbose")) win_st.report();
aig = cleanup_dangling(aig); aig = cleanup_dangling(aig);
} while (aig.num_gates() < size_current); } while (aig.num_gates() < size_current);
} else if (is_set("mffw")) {
window_rewriting_stats win_st;
mffw_rewriting(aig, ps, &win_st);
aig = cleanup_dangling(aig);
} else { } else {
window_rewriting_stats win_st; window_rewriting_stats win_st;
window_rewriting(aig, ps, &win_st); window_rewriting(aig, ps, &win_st);

3
src/phyLS.cpp
View File

@ -79,6 +79,5 @@
#include "commands/exact/exact_multi.hpp" #include "commands/exact/exact_multi.hpp"
// #include "commands/exact/exact_klut.hpp" // #include "commands/exact/exact_klut.hpp"
// #include "commands/exact/exactlut.hpp" // #include "commands/exact/exactlut.hpp"
#include "commands/to_npz.hpp" // #include "commands/to_npz.hpp"
ALICE_MAIN(phyLS) ALICE_MAIN(phyLS)