From 39027dd374dbfbe80aa990ec2691e1da835bac4b Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Fri, 15 Aug 2025 11:16:57 +0200
Subject: [PATCH] fixup! check: add bufnorm invariant check

---
 passes/cmds/check.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/passes/cmds/check.cc b/passes/cmds/check.cc
index a90b916e8..5315baeba 100644
--- a/passes/cmds/check.cc
+++ b/passes/cmds/check.cc
@@ -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())