diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 09:01:53 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 09:01:53 -0800 |
| commit | f63f76c372e8003f60565ee109d38ae1797d7e89 (patch) | |
| tree | 02949f4f8f2f3901e5df2e427c46760664027478 /frontends/aiger | |
| parent | ee95fa959acc3a796836c9df970d6739d6cf0ade (diff) | |
| download | yosys-f63f76c372e8003f60565ee109d38ae1797d7e89.tar.gz yosys-f63f76c372e8003f60565ee109d38ae1797d7e89.tar.bz2 yosys-f63f76c372e8003f60565ee109d38ae1797d7e89.zip | |
read_aiger: also rename "$0"
Diffstat (limited to 'frontends/aiger')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 859dd5314..f6b2a639d 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -255,7 +255,7 @@ end_of_header: else log_abort(); - RTLIL::Wire* n0 = module->wire("$0"); + RTLIL::Wire* n0 = module->wire(stringf("$aiger%d$0", aiger_autoidx)); if (n0) module->connect(n0, State::S0); @@ -383,7 +383,7 @@ void AigerReader::parse_xaiger() else log_abort(); - RTLIL::Wire* n0 = module->wire("$0"); + RTLIL::Wire* n0 = module->wire(stringf("$aiger%d$0", aiger_autoidx)); if (n0) module->connect(n0, State::S0); |