mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity

Fix for abc9_test022

Browse source
This commit is contained in:
Eddie Hung 2019-05-28 12:42:17 -07:00
parent 13e233217c
commit b4321a31bb
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
backends/aiger/xaiger.cc
View file

@ -277,8 +277,10 @@ struct XAigerWriter
}
}
if (is_output) {
input_bits.insert(b);
SigBit O = sigmap(b);
input_bits.insert(O);
if (O != b)
alias_map[O] = b;
undriven_bits.erase(O);
}
}
@ -346,8 +348,10 @@ struct XAigerWriter
int offset = 0;
for (const auto &b : rhs.bits()) {
ci_bits.emplace_back(b, cell, port_name, offset++);
SigBit O = sigmap(b);
ci_bits.emplace_back(O, cell, port_name, offset++);
if (O != b)
alias_map[O] = b;
undriven_bits.erase(O);
}
}