Skip internal modules when generating box_unique_id

This commit is contained in:
Eddie Hung 2019-06-03 12:31:23 -07:00
parent 257f7ff5f6
commit a54822b1bc
1 changed files with 1 additions and 0 deletions

View File

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