diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 12:31:23 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 12:31:23 -0700 |
| commit | a54822b1bc02773168717f9c0e221344f570ac23 (patch) | |
| tree | 9b8f4c71bc97c31b6d095c390cb3c4cbde7b1ac4 | |
| parent | 257f7ff5f63635f0a754f34cf8af93ed06632b5b (diff) | |
| download | yosys-a54822b1bc02773168717f9c0e221344f570ac23.tar.gz yosys-a54822b1bc02773168717f9c0e221344f570ac23.tar.bz2 yosys-a54822b1bc02773168717f9c0e221344f570ac23.zip | |
Skip internal modules when generating box_unique_id
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 1 |
1 files changed, 1 insertions, 0 deletions
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; |