riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Use ezSAT::non_incremental() in "share" pass

This commit is contained in:
Clifford Wolf 2014-07-21 02:08:38 +02:00
parent b1d520949b
commit b49beab1f3
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
passes/sat/share.cc
View File

@ -601,6 +601,8 @@ struct ShareWorker
optimize_activation_patterns(filtered_other_cell_activation_patterns);
ezDefaultSAT ez;
ez.non_incremental();
SatGen satgen(&ez, &modwalker.sigmap);
std::set<RTLIL::Cell*> sat_cells;