mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-25 19:36:21 +00:00
Code Activity

Merge c96e19bd43 into 9d0cdb8551

Browse source
This commit is contained in:
Lofty 2026-05-23 10:53:30 +08:00 • committed by GitHub
commit 7a86c468e5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 34 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
backends/aiger/xaiger.cc
View file

@ -422,8 +422,12 @@ struct XAigerWriter
// that has been padded to its full width
if (bit == State::Sx)
continue;
// A bit might be simultaneously a box output
// and a primary output. The latter wins.
if (input_bits.count(bit))
continue;
if (aig_map.count(bit))
log_error("Visited AIG node more than once; this could be a combinatorial loop that has not been broken\n");
log_error("While visiting box outputs, found a signal bit more than once; this could be a combinatorial loop that has not been broken\n");
aig_map[bit] = 2*aig_m;
}