aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger/aigerparse.cc
diff options
context:
space:
mode:
authorEddie Hung <eddieh@ece.ubc.ca>2019-02-08 08:37:44 -0800
committerEddie Hung <eddieh@ece.ubc.ca>2019-02-08 08:37:44 -0800
commit36c56bf4127edc1ed0f8fbbd62bd70a859263570 (patch)
tree764e93cf094a6a96713709d635696d8a3c4c0ffd /frontends/aiger/aigerparse.cc
parent5e24251a61b8798e597ac49bdc8aff2f378f625d (diff)
downloadyosys-36c56bf4127edc1ed0f8fbbd62bd70a859263570.tar.gz
yosys-36c56bf4127edc1ed0f8fbbd62bd70a859263570.tar.bz2
yosys-36c56bf4127edc1ed0f8fbbd62bd70a859263570.zip
Add comment
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
-rw-r--r--frontends/aiger/aigerparse.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index c3cc6b321..56e4f3b2c 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -135,6 +135,7 @@ static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::strin
module->addDff(NEW_ID, clk_wire, d_wire, q_wire);
+ // Reset logic is optional in AIGER 1.9
if (f.peek() == ' ') {
if (!(f >> l3))
log_error("Line %d cannot be interpreted as a latch!\n", line_count);