From be7be63fece641db3e3fa1bd28f10603d07732bf Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 26 Jan 2022 15:51:43 +0100
Subject: [PATCH] Check if stimulated

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

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 99ea701d9..605dc8e1e 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -903,7 +903,21 @@ struct SimWorker : SimShared
 				top->set_state(item.first, Const::from_string(v));
 			}
 			update();
+
+			/*Wire *wire = topmod->wire("\\cnt");
+			Const value = top->get_state(wire);
+			std::stringstream ss;
+			for (int i = GetSize(value)-1; i >= 0; i--) {
+				switch (value[i]) {
+					case State::S0: ss << "0"; break;
+					case State::S1: ss << "1"; break;
+					case State::Sx: ss << "x"; break;
+					default: ss << "z";
+				}
+			}
+			log("%s\n",ss.str().c_str());*/
 		}
+	}
 };
 
 struct SimPass : public Pass {
-- 
2.30.2