abc9_ops: sort LUT delays to be ascending

This commit is contained in:
Eddie Hung 2020-02-13 10:30:29 -08:00
parent fb60d82971
commit 7c92b6852f
1 changed files with 4 additions and 1 deletions

View File

@ -617,7 +617,8 @@ void prep_lut(RTLIL::Design *design, int maxlut)
}
if (maxlut && GetSize(specify) > maxlut)
continue;
// ABC requires ascending LUT input delays
// ABC requires non-decreasing LUT input delays
std::sort(specify.begin(), specify.end());
table.emplace_back(GetSize(specify), module->name, it->second.as_int(), std::move(specify));
}
// ABC requires ascending size
@ -777,6 +778,8 @@ void prep_box(RTLIL::Design *design)
log_assert(GetSize(src) == GetSize(dst));
for (auto i = 0; i < GetSize(src); i++) {
auto r = table.insert(std::make_pair(src[i],dst[i]));
if (!r.second)
log_error("Module '%s' contains multiple specify cells for SRC '%s' and DST '%s'.\n", log_id(module), log_signal(src[i]), log_signal(dst[i]));
log_assert(r.second);
r.first->second = std::to_string(max);
}