mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 13:29:12 +00:00
Code Activity

latches are always set to zero

Browse source
This commit is contained in:
Miodrag Milanovic 2022-04-22 12:04:05 +02:00
parent c989adcc2d
commit 83cad82b29
1 changed files with 1 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

7
passes/sat/sim.cc
View file

@ -1815,12 +1815,7 @@ struct AIWWriter : public OutputWriter
for (int i = 0;; i++) for (int i = 0;; i++)
{ {
if (aiw_latches.count(i)) { if (aiw_latches.count(i)) {
SigBit bit = aiw_latches.at(i).first; aiwfile << '0';
auto v = current[mapping[bit.wire]].bits.at(bit.offset);
if (v == State::S1)
aiwfile << (aiw_latches.at(i).second ? '0' : '1');
else
aiwfile << (aiw_latches.at(i).second ? '1' : '0');
continue; continue;
} }
aiwfile << '\n'; aiwfile << '\n';