3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 01:54:10 +00:00

dfflegalize: Gather init values from all wires.

Skipping non-selected wires is unsound in an obvious way.
This commit is contained in:
Marcelina Kościelnicka 2020-07-12 15:39:40 +02:00
parent eef0ec6aed
commit 240351c44e

View file

@ -1296,7 +1296,7 @@ unrecognized:
sigmap.set(module); sigmap.set(module);
initbits.clear(); initbits.clear();
for (auto wire : module->selected_wires()) for (auto wire : module->wires())
{ {
if (wire->attributes.count(ID::init) == 0) if (wire->attributes.count(ID::init) == 0)
continue; continue;