diff --git a/Makefile b/Makefile index bcb6a066c..99ee10c43 100644 --- a/Makefile +++ b/Makefile @@ -141,7 +141,7 @@ LDLIBS += -lrt endif endif -YOSYS_VER := 0.29+40 +YOSYS_VER := 0.29+44 # Note: We arrange for .gitcommit to contain the (short) commit hash in # tarballs generated with git-archive(1) using .gitattributes. The git repo diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc index 97acf937c..689864153 100644 --- a/backends/aiger/aiger.cc +++ b/backends/aiger/aiger.cc @@ -706,6 +706,9 @@ struct AigerWriter for (auto &it : latch_lines) f << it.second; + if (initstate_ff) + f << stringf("ninitff %d\n", ((initstate_ff >> 1)-1-aig_i)); + wire_lines.sort(); for (auto &it : wire_lines) f << it.second;