github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-17 10:11:18 +00:00
Code Issues Releases Wiki Activity

write_xaiger to use original bit for co, not sigmap()-ed bit

Browse Source
This commit is contained in:
Eddie Hung
2019-02-21 11:15:25 -08:00
parent c6fd057eda
commit 2f96a0ed32
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
backends/aiger/xaiger.cc
View File

@@ -210,9 +210,12 @@ struct XAigerWriter
Wire *w = b.wire;
if (!w) continue;
if (cell->input(c.first)) {
SigBit I = sigmap(b);
if (!w->port_input)
co_bits.insert(I);
if (!w->port_input) {
SigBit I = sigmap(b);
if (I != b)
alias_map[b] = I;
co_bits.insert(b);
}
}
else if (cell->output(c.first)) {
SigBit O = sigmap(b);