From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 26 Jan 2022 14:51:43 +0000 (+0100)
Subject: Check if stimulated
X-Git-Tag: yosys-0.14~2^2~29
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=be7be63fece641db3e3fa1bd28f10603d07732bf;p=yosys.git

Check if stimulated
---

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 {