riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Stub for binary AIGER

This commit is contained in:
Eddie Hung 2019-02-08 07:31:04 -08:00
parent 40db2f2eb6
commit 791f93181d
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
frontends/aiger/aigerparse.cc
View File

@ -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