diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-11-21 16:32:52 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-11-21 16:32:52 -0800 |
| commit | fe3627523437cfddc069ec9e2c4607a1aaf9ce2e (patch) | |
| tree | adb60aab9fa9641ad58fef2da02f34fb21367d93 /frontends/aiger/aigerparse.cc | |
| parent | 39fdcb892b1b65363fdf7c1bc6d9e2612c1c38e6 (diff) | |
| parent | a5767474830756319ce0fff53b81573701ec0cd2 (diff) | |
| download | yosys-fe3627523437cfddc069ec9e2c4607a1aaf9ce2e.tar.gz yosys-fe3627523437cfddc069ec9e2c4607a1aaf9ce2e.tar.bz2 yosys-fe3627523437cfddc069ec9e2c4607a1aaf9ce2e.zip | |
Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adff
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 4b66af3ad..9374f1ab3 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -432,7 +432,7 @@ void AigerReader::parse_xaiger(const dict<int,IdString> &box_lookup) else if (c == 'r') { uint32_t dataSize YS_ATTRIBUTE(unused) = parse_xaiger_literal(f); flopNum = parse_xaiger_literal(f); - log_debug("flopNum: %u\n", flopNum); + log_debug("flopNum = %u\n", flopNum); log_assert(dataSize == (flopNum+1) * sizeof(uint32_t)); f.ignore(flopNum * sizeof(uint32_t)); } @@ -464,9 +464,10 @@ void AigerReader::parse_xaiger(const dict<int,IdString> &box_lookup) boxes.emplace_back(cell); } } - else if (c == 'a' || c == 'i' || c == 'o') { + else if (c == 'a' || c == 'i' || c == 'o' || c == 's') { uint32_t dataSize = parse_xaiger_literal(f); f.ignore(dataSize); + log_debug("ignoring '%c'\n", c); } else { break; |