From c767d90f3dc8cfa904adf2b0e9bd00266005038a Mon Sep 17 00:00:00 2001
From: Stan Lee <slee93@stanford.edu>
Date: Mon, 30 Mar 2026 14:13:43 -0700
Subject: [PATCH] add warning

---
 passes/sat/sim.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 2002f2089..65bddbe00 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -247,6 +247,8 @@ struct SimInstance
 				}
 				return array_handles;
 			}
+			log_warning("Array wire '%s' found in VCD (total width %d) but does not match Yosys wire width %d; skipping.\n",
+        wire_name.c_str(), total_width, wire->width);
 		}
 		return dict<int, fstHandle>();
 	}