diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2022-01-26 15:51:43 +0100 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-01-26 15:51:43 +0100 |
commit | be7be63fece641db3e3fa1bd28f10603d07732bf (patch) | |
tree | 5a52d49a0eca29a9768af026c291c60cb371a13d /passes/sat | |
parent | 9a8939f0a4584c13bfceb978120cc8605ede03ee (diff) | |
download | yosys-be7be63fece641db3e3fa1bd28f10603d07732bf.tar.gz yosys-be7be63fece641db3e3fa1bd28f10603d07732bf.tar.bz2 yosys-be7be63fece641db3e3fa1bd28f10603d07732bf.zip |
Check if stimulated
Diffstat (limited to 'passes/sat')
-rw-r--r-- | passes/sat/sim.cc | 14 |
1 files changed, 14 insertions, 0 deletions
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 { |