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

Fix a bug that can arise when reducing circuit depth.

This commit is contained in:
Franz Reichl 2026-08-13 12:57:15 +02:00
parent e4383a8d67
commit ebd3e31a8d
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) {
assert (delay_selectors.find(initial_delay) != delay_selectors.end());
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;
double timeout = getDynamicTimeout(max_size);
int status = existsReplacement(max_size, d, timeout);