diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-06 14:58:47 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-06 14:58:47 -0800 |
| commit | 40db2f2eb61287071f59f3e15bd1cd1bf2838d1d (patch) | |
| tree | 5f2516945a5927cc2531cf1260cf270db7e1ee8a /frontends/aiger | |
| parent | 4167b15de5f8d72b965d1ea2908c886f9703700a (diff) | |
| download | yosys-40db2f2eb61287071f59f3e15bd1cd1bf2838d1d.tar.gz yosys-40db2f2eb61287071f59f3e15bd1cd1bf2838d1d.tar.bz2 yosys-40db2f2eb61287071f59f3e15bd1cd1bf2838d1d.zip | |
Refactor
Diffstat (limited to 'frontends/aiger')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index c7a9aecb9..7f9feee4a 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -30,15 +30,22 @@ YOSYS_NAMESPACE_BEGIN #define log_debug log +static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::string clk_name); + void parse_aiger(RTLIL::Design *design, std::istream &f, std::string clk_name) { std::string header; f >> header; - if (header != "aag") { + if (header == "aag") + return parse_aiger_ascii(design, f, clk_name); + else { log_error("Unsupported AIGER file!\n"); return; } +} +static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::string clk_name) +{ int M, I, L, O, A; int B=0, C=0, J=0, F=0; // Optional in AIGER 1.9 if (!(f >> M >> I >> L >> O >> A)) { |