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

write_xaiger: fix case of PI and CI and (* keep *)

Browse source
This commit is contained in:
Eddie Hung 2020-01-13 23:23:21 -08:00
parent 2c65e1abac
commit eb7dd7d374
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
backends/aiger/xaiger.cc
View file

@ -356,6 +356,11 @@ struct XAigerWriter
alias_map[O] = b; alias_map[O] = b;
ci_bits.emplace_back(b); ci_bits.emplace_back(b);
undriven_bits.erase(O); undriven_bits.erase(O);
// If PI and CI, then must be a (* keep *) wire
if (input_bits.erase(O)) {
log_assert(output_bits.count(O));
log_assert(O.wire->get_bool_attribute(ID::keep));
}
} }
} }