mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-09-26 19:31:31 +00:00
Code Activity

fixup! check: add bufnorm invariant check

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-08-15 11:16:57 +02:00
parent 8384460b4b
commit 39027dd374
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/cmds/check.cc
View file

@ -288,7 +288,7 @@ struct CheckPass : public Pass {
for (auto wire : module->wires()) {
if (design->flagBufferedNormalized) {
if (!wire->driverKnown())
if (!wire->port_input && !wire->driverKnown())
log_error("Wire %s has no bufnorm driver cell in buffer normalized mode\n", log_id(wire));
} else {
if (wire->driverKnown())