diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-08 07:31:04 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-08 07:31:04 -0800 |
| commit | 791f93181df091877e0b233fa21ee5fa34b24b27 (patch) | |
| tree | 4662e389f23160c7fcddc3ef67208ce962f40014 | |
| parent | 40db2f2eb61287071f59f3e15bd1cd1bf2838d1d (diff) | |
| download | yosys-791f93181df091877e0b233fa21ee5fa34b24b27.tar.gz yosys-791f93181df091877e0b233fa21ee5fa34b24b27.tar.bz2 yosys-791f93181df091877e0b233fa21ee5fa34b24b27.zip | |
Stub for binary AIGER
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 7f9feee4a..a33110ed0 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -31,6 +31,7 @@ YOSYS_NAMESPACE_BEGIN #define log_debug log static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::string clk_name); +static void parse_aiger_binary(RTLIL::Design *design, std::istream &f, std::string clk_name); void parse_aiger(RTLIL::Design *design, std::istream &f, std::string clk_name) { @@ -38,10 +39,10 @@ void parse_aiger(RTLIL::Design *design, std::istream &f, std::string clk_name) f >> header; if (header == "aag") return parse_aiger_ascii(design, f, clk_name); - else { + else if (header == "aig") + return parse_aiger_binary(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) @@ -191,6 +192,10 @@ static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::strin module->fixup_ports(); } +static void parse_aiger_binary(RTLIL::Design *design, std::istream &f, std::string clk_name) +{ +} + struct AigerFrontend : public Frontend { AigerFrontend() : Frontend("aiger", "read AIGER file") { } void help() YS_OVERRIDE |