Set abc_flop and use it in toposort

2026-04-25 03:46:21 +00:00 · 2019-08-19 09:40:01 -07:00
parent 10c69f71e9
commit 9bfe924e17
2 changed files with 52 additions and 31 deletions
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -840,6 +840,7 @@ void AigerReader::post_process()
 			flop_count++;
 			cell->type = flop_module->name;
 			module->connect(q, d);
+			cell->set_bool_attribute("\\abc_flop");
 			continue;
 		}