diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-05-02 14:16:10 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-02 14:16:10 -0700 |
| commit | 73601554591da7d0034bff916400c5fca5445d13 (patch) | |
| tree | 61f6ae4578c4d68edaaca628a74c76926d9ea18f /backends/aiger/xaiger.cc | |
| parent | ca3fc3c882b9a454c48bee7d701fa5cb254ae671 (diff) | |
| parent | da7da4491901e8c76682b6423658debe160771d9 (diff) | |
| download | yosys-73601554591da7d0034bff916400c5fca5445d13.tar.gz yosys-73601554591da7d0034bff916400c5fca5445d13.tar.bz2 yosys-73601554591da7d0034bff916400c5fca5445d13.zip | |
Merge pull request #2013 from YosysHQ/eddie/aiger_fixes
aiger: fixes for ports that have start_offset != 0
Diffstat (limited to 'backends/aiger/xaiger.cc')
| -rw-r--r-- | backends/aiger/xaiger.cc | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 3c7c745fe..1fb7210cb 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -725,13 +725,12 @@ struct XAigerWriter if (input_bits.count(b)) { int a = aig_map.at(b); log_assert((a & 1) == 0); - input_lines[a] += stringf("input %d %d %s\n", (a >> 1)-1, i, log_id(wire)); + input_lines[a] += stringf("input %d %d %s\n", (a >> 1)-1, wire->start_offset+i, log_id(wire)); } if (output_bits.count(b)) { int o = ordered_outputs.at(b); - int init = 2; - output_lines[o] += stringf("output %d %d %s %d\n", o - GetSize(co_bits), i, log_id(wire), init); + output_lines[o] += stringf("output %d %d %s\n", o - GetSize(co_bits), wire->start_offset+i, log_id(wire)); continue; } } |