mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 06:03:23 +00:00
Code Activity

Fix abc_test024

Browse source
This commit is contained in:
Eddie Hung 2019-05-29 15:24:09 -07:00
parent ecaa7856e9
commit 1423384367
1 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
backends/aiger/xaiger.cc
View file

@ -152,10 +152,11 @@ struct XAigerWriter
undriven_bits.insert(bit); undriven_bits.insert(bit);
unused_bits.insert(bit); unused_bits.insert(bit);
if (wire->port_input) if (wire->port_input || keep) {
input_bits.insert(bit); if (bit != wirebit)
else if (keep) alias_map[bit] = wirebit;
input_bits.insert(wirebit); input_bits.insert(wirebit);
}
if (wire->port_output || keep) { if (wire->port_output || keep) {
if (bit != wirebit) if (bit != wirebit)
@ -166,7 +167,7 @@ struct XAigerWriter
} }
for (auto bit : input_bits) for (auto bit : input_bits)
undriven_bits.erase(bit); undriven_bits.erase(sigmap(bit));
for (auto bit : output_bits) for (auto bit : output_bits)
if (!bit.wire->port_input) if (!bit.wire->port_input)