Read init from outputs

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index d2657c9da32779ee4eec45539443c80acaf2df45..5a6db84818ffee43429e575ab6b454e0e2899292 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -927,6 +927,10 @@ void AigerReader::post_process()
                                        }
                                }
                                log_debug(" -> %s\n", log_id(wire));
+                               int init;
+                               mf >> init;
+                               if (init < 2)
+                                       wire->attributes["\\init"] = init;
                        }
                        else if (type == "box") {
                                RTLIL::Cell* cell = module->cell(stringf("$__box%d__", variable));