diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-21 02:08:38 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-21 02:08:38 +0200 |
| commit | b49beab1f30d0a7567c2917a3387fa52c84350fd (patch) | |
| tree | 1fc6f137058355ca3fa6ff6311647aab634f9260 /passes/sat | |
| parent | b1d520949bdb5357f31f43d9dc4f4579dda9f269 (diff) | |
| download | yosys-b49beab1f30d0a7567c2917a3387fa52c84350fd.tar.gz yosys-b49beab1f30d0a7567c2917a3387fa52c84350fd.tar.bz2 yosys-b49beab1f30d0a7567c2917a3387fa52c84350fd.zip | |
Use ezSAT::non_incremental() in "share" pass
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/share.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/passes/sat/share.cc b/passes/sat/share.cc index 90daefc0a..8ef3396e0 100644 --- a/passes/sat/share.cc +++ b/passes/sat/share.cc @@ -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; |