From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 20 Nov 2019 00:57:26 +0000 (-0800)
Subject: abc9 to support async flops $_DFF_[NP][NP][01]_
X-Git-Tag: working-ls180~881^2^2~160^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=929beda19c24e8e6cb6e87b0ceaa97ad2829abbe;p=yosys.git

abc9 to support async flops $_DFF_[NP][NP][01]_
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 03246a9b5..5d125b653 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -863,7 +863,8 @@ struct XAigerWriter
 				dict<SigSig, SigSig> replace;
 				for (auto it = holes_module->cells_.begin(); it != holes_module->cells_.end(); ) {
 					auto cell = it->second;
-					if (cell->type.in("$_DFF_N_", "$_DFF_P_")) {
+					if (cell->type.in("$_DFF_N_", "$_DFF_NN0_", "$_DFF_NN1_", "$_DFF_NP0_", "$_DFF_NP1_",
+											"$_DFF_P_", "$_DFF_PN0_", "$_DFF_PN1", "$_DFF_PP0_", "$_DFF_PP1_")) {
 						SigBit D = cell->getPort("\\D");
 						SigBit Q = cell->getPort("\\Q");
 						// Remove the DFF cell from what needs to be a combinatorial box