diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-08 08:05:27 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-08 08:05:27 -0800 |
| commit | 02f603ac1a43f3f98048c146b1950c776f73c070 (patch) | |
| tree | 6c6377bca7582d1cfead0237f79aff36c8d1ba20 /frontends/aiger/aigerparse.cc | |
| parent | 5a593ff41c44329e9a103d8c9f7a7351b1848043 (diff) | |
| download | yosys-02f603ac1a43f3f98048c146b1950c776f73c070.tar.gz yosys-02f603ac1a43f3f98048c146b1950c776f73c070.tar.bz2 yosys-02f603ac1a43f3f98048c146b1950c776f73c070.zip | |
Handle latch symbols too
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 950432578..a2b2f611e 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -186,7 +186,7 @@ static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::strin std::string s; for (int c = f.peek(); c != EOF; c = f.peek(), ++line_count) { - if (c == 'i' || c == 'o') { + if (c == 'i' || c == 'l' || c == 'o') { f.ignore(1); if (!(f >> l1 >> s)) log_error("Line %d cannot be interpreted as a symbol entry!\n", line_count); @@ -202,8 +202,6 @@ static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::strin module->rename(wire, stringf("\\%s", s.c_str())); } - else if (c == 'l') { - } else if (c == 'b' || c == 'j' || c == 'f') { // TODO } |