From a54822b1bc02773168717f9c0e221344f570ac23 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 3 Jun 2019 12:31:23 -0700
Subject: [PATCH] Skip internal modules when generating box_unique_id

---
 frontends/aiger/aigerparse.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 0e210c456..c951e1fbb 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -198,6 +198,7 @@ void AigerReader::parse_xaiger()
 
     dict<int,IdString> box_lookup;
     for (auto m : design->modules()) {
+        if (m->name[0] == '$') continue;
         auto it = m->attributes.find("\\abc_box_id");
         if (it == m->attributes.end())
             continue;
-- 
2.30.2