From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 17 Apr 2019 17:55:23 +0000 (-0700)
Subject: Ignore a/i/o/h XAIGER extensions
X-Git-Tag: working-ls180~1237^2~218
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e1b550d203eecacc5b79b87de7a3d49ed5713382;p=yosys.git

Ignore a/i/o/h XAIGER extensions
---

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index f2d21f1db..9c8cee63a 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -368,6 +368,13 @@ void AigerReader::parse_xaiger()
                f >> s;
                log_debug("n: '%s'\n", s.c_str());
             }
+            else if (c == 'a' || c == 'i' || c == 'o' || c == 'h') {
+                uint32_t dataSize = parse_xaiger_literal(f);
+                f.ignore(dataSize);
+            }
+            else {
+                break;
+            }
         }
         else if (c == 'i' || c == 'l' || c == 'o') {
             f.ignore(1);