aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger/aigerparse.h
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2020-01-14 11:46:56 -0800
committerEddie Hung <eddie@fpgeh.com>2020-01-14 11:46:56 -0800
commit53a99ade9cbab883de5d1dcc30ad89d75266df7f (patch)
tree17808f6ffdfdd90c44a56aaddf626d5884a821a3 /frontends/aiger/aigerparse.h
parent531fddf797a79b46df3e462112ca68ff50e6a18e (diff)
parent61ffd2d1996befd8c27c4f36f07567824bd7605e (diff)
downloadyosys-53a99ade9cbab883de5d1dcc30ad89d75266df7f.tar.gz
yosys-53a99ade9cbab883de5d1dcc30ad89d75266df7f.tar.bz2
yosys-53a99ade9cbab883de5d1dcc30ad89d75266df7f.zip
Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
Diffstat (limited to 'frontends/aiger/aigerparse.h')
-rw-r--r--frontends/aiger/aigerparse.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/frontends/aiger/aigerparse.h b/frontends/aiger/aigerparse.h
index de3c3efbc..722f1e472 100644
--- a/frontends/aiger/aigerparse.h
+++ b/frontends/aiger/aigerparse.h
@@ -33,6 +33,7 @@ struct AigerReader
RTLIL::Module *module;
std::string map_filename;
bool wideports;
+ const int aiger_autoidx;
unsigned M, I, L, O, A;
unsigned B, C, J, F; // Optional in AIGER 1.9
@@ -51,6 +52,8 @@ struct AigerReader
void parse_aiger_ascii();
void parse_aiger_binary();
void post_process();
+
+ RTLIL::Wire* createWireIfNotExists(RTLIL::Module *module, unsigned literal);
};
YOSYS_NAMESPACE_END