mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-08-07 06:38:26 +00:00
Code Activity

write_xaiger2: don't skip adding POs to map file

Browse source 
Co-authored-by: nella <nella@yosyshq.com>
This commit is contained in:
Lofty 2026-08-05 11:48:31 +01:00
parent 5e6fcf3b36
commit 7c7bc0c617
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
backends/aiger2/aiger.cc
View file

@ -1273,10 +1273,7 @@ struct XAigerWriter : AigerWriter {
for (auto w : top->wires())
if (w->port_output)
for (int i = 0; i < w->width; i++) {
// When a module output is directly driven by an opaque box, we
// don't emit it to the mapping file to aid re-integration, but we
// do emit a proper PO.
if (map_file.is_open() && !driven_by_opaque_box.count(SigBit(w, i))) {
if (map_file.is_open()) {
map_file << "output " << proper_pos_counter << " " << i
<< " " << w->name.c_str() << "\n";
}