From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 15 Jan 2020 19:25:20 +0000 (-0800)
Subject: write_xaiger: skip abc9_flop only if abc_box_seq present
X-Git-Tag: working-ls180~849^2~19
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d6da9c0c0f3b59706f509b7fd96ea793491a2307;p=yosys.git

write_xaiger: skip abc9_flop only if abc_box_seq present
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index c3fc61e3b..a9b75ecc7 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -226,7 +226,7 @@ struct XAigerWriter
 				}
 
 				if (inst_module) {
-					bool abc9_flop = inst_module->get_bool_attribute("\\abc9_flop");
+					bool abc9_flop = false;
 					auto it = cell->attributes.find("\\abc9_box_seq");
 					if (it != cell->attributes.end()) {
 						int abc9_box_seq = it->second.as_int();
@@ -234,6 +234,7 @@ struct XAigerWriter
 							box_list.resize(abc9_box_seq+1);
 						box_list[abc9_box_seq] = cell;
 						// Only flop boxes may have arrival times
+						abc9_flop = inst_module->get_bool_attribute("\\abc9_flop");
 						if (!abc9_flop)
 							continue;
 					}