luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-08-28 17:14:11 +02:00
Code Issues Packages Projects Releases Wiki Activity

write_xaiger to skip POs driven by 1'bx

Browse Source
This commit is contained in:
Eddie Hung
2019-06-20 17:37:54 -07:00
parent 8e0a47fb92
commit f2d541962e
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
backends/aiger/xaiger.cc
+7 -3
View File
@@ -152,9 +152,13 @@ struct XAigerWriter
}
if (wire->port_output || keep) {
if (bit != wirebit)
alias_map[wirebit] = bit;
output_bits.insert(wirebit);
if (bit != RTLIL::Sx) {
if (bit != wirebit)
alias_map[wirebit] = bit;
output_bits.insert(wirebit);
}
else
log_debug("Skipping PO '%s' driven by 1'bx\n", log_signal(wirebit));
}
}
}