From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 7 Jan 2020 19:43:28 +0000 (-0800)
Subject: read_aiger: connect identical signals together
X-Git-Tag: working-ls180~880^2~3
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b94cf0c1266f6f3daea809323f0bba0dc5d69e1a;p=yosys.git

read_aiger: connect identical signals together
---

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 04530e562..f7b9146ce 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -280,6 +280,7 @@ end_of_header:
 				if (wire) {
 					// Could have been renamed by a latch
 					module->swap_names(wire, outputs[l1]);
+					module->connect(outputs[l1], wire);
 					goto next;
 				}
 				wire = outputs[l1];