From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 14 Jan 2020 17:01:53 +0000 (-0800)
Subject: read_aiger: also rename "$0"
X-Git-Tag: working-ls180~868^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f63f76c372e8003f60565ee109d38ae1797d7e89;p=yosys.git

read_aiger: also rename "$0"
---

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);