From 990aee5531f41fdf01887870047eb924f12618b9 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 2 Feb 2022 10:15:22 +0100
Subject: [PATCH] respect hide_internal flag

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

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 3c8d03cba..d33c20c51 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -161,7 +161,7 @@ struct SimInstance
 				}
 			}
 
-			if (shared->fst) {
+			if ((shared->fst) && !(shared->hide_internal && wire->name[0] == '$')) {
 				fstHandle id = shared->fst->getHandle(scope + "." + RTLIL::unescape_id(wire->name));
 				if (id==0 && wire->name.isPublic())
 					log_warning("Unable to found wire %s in input file.\n", (scope + "." + RTLIL::unescape_id(wire->name)).c_str());
-- 
2.30.2