github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-01-27 04:33:22 +00:00
Code Issues Releases Wiki Activity

Check if stimulated

Browse Source
This commit is contained in:
Miodrag Milanovic
2022-01-26 15:51:43 +01:00
parent 9a8939f0a4
commit be7be63fec
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
passes/sat/sim.cc
View File

@@ -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 {