From c2f3f116d041b97b0d8b6ed28c87810bf6c2630e Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Sat, 15 Jun 2019 18:16:14 -0700
Subject: Use $__ABC_FF_ instead of $_FF_

---
 backends/aiger/xaiger.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'backends/aiger')

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 09f80fee8..c3a4e69c2 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -222,8 +222,8 @@ struct XAigerWriter
 
 			log_assert(!holes_mode);
 
-			// FIXME: Should short here, rather than provide $_DFF_[NP]_
-			//        to ABC as a user cell
+			// FIXME: Should short here, rather than provide $__ABC_FF_
+			//        to ABC like a user cell
 			//if (cell->type.in("$_FF_" /*, "$_DFF_N_", "$_DFF_P_"*/))
 			//{
 			//	SigBit D = sigmap(cell->getPort("\\D").as_bit());
-- 
cgit v1.2.3