luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #545 from fxreichl/master 

Fix a bug that can arise when reducing circuit depth.
This commit is contained in:
alanminko 2026-08-16 01:50:28 +09:00 committed by GitHub
parent 89bef47d8d ebd3e31a8d
commit 371e53f93e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/opt/eslim/delayEngine.cpp
View File

@ -121,9 +121,8 @@ namespace eSLIM {
} }
std::vector<bool> DelayEngine::reduceDelay(unsigned int max_size, unsigned int initial_delay) { std::vector<bool> DelayEngine::reduceDelay(unsigned int max_size, unsigned int initial_delay) {
assert (delay_selectors.find(initial_delay) != delay_selectors.end());
std::vector<bool> last_model; std::vector<bool> last_model;
for( auto it = delay_selectors.find(initial_delay); it != delay_selectors.end(); ++it ) { for( auto it = delay_selectors.lower_bound(initial_delay); it != delay_selectors.end(); ++it ) {
int d = it->first; int d = it->first;
double timeout = getDynamicTimeout(max_size); double timeout = getDynamicTimeout(max_size);
int status = existsReplacement(max_size, d, timeout); int status = existsReplacement(max_size, d, timeout);