mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Revert "dffinit -noreinit to silently continue when init value is 1'bx"

Browse source 
This reverts commit aa081f83c7.
This commit is contained in:
Eddie Hung 2019-05-03 08:05:37 -07:00
parent 1f62dc9081
commit fc349de033
1 changed files with 4 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
passes/techmap/dffinit.cc
View file

@ -135,18 +135,10 @@ struct DffinitPass : public Pass {
continue; continue;
while (GetSize(value.bits) <= i) while (GetSize(value.bits) <= i)
value.bits.push_back(State::S0); value.bits.push_back(State::S0);
if (noreinit && value.bits[i] != State::Sx && value.bits[i] != init_bits.at(sig[i])) { if (noreinit && value.bits[i] != State::Sx && value.bits[i] != init_bits.at(sig[i]))
if (init_bits.at(sig[i]) != State::Sx) { log_error("Trying to assign a different init value for %s.%s.%s which technically "
log_error("Trying to assign a different init value for %s.%s.%s which technically " "have a conflicted init value.\n",
"have a conflicted init value.\n", log_id(module), log_id(cell), log_id(it.second));
log_id(module), log_id(cell), log_id(it.second));
}
else {
// Trying to overwrite an existing INIT value with 1'bx,
// silently ignore?
continue;
}
}
value.bits[i] = init_bits.at(sig[i]); value.bits[i] = init_bits.at(sig[i]);
cleanup_bits.insert(sig[i]); cleanup_bits.insert(sig[i]);
} }