From fb12c23ad54b610c9a063991924249ef6f5e89b7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 17 Apr 2017 17:50:10 -0400
Subject: Logic restruturing after mapping.

---
 src/base/acb/acbAbc.c    | 22 ++++++++++++++++++++++
 src/base/acb/module.make |  1 +
 2 files changed, 23 insertions(+)

(limited to 'src/base/acb')

diff --git a/src/base/acb/acbAbc.c b/src/base/acb/acbAbc.c
index 2b07a202..7b215a56 100644
--- a/src/base/acb/acbAbc.c
+++ b/src/base/acb/acbAbc.c
@@ -271,6 +271,28 @@ Abc_Ntk_t * Abc_NtkOptMfse( Abc_Ntk_t * pNtk, Acb_Par_t * pPars )
     return pNtkNew;
 }
 
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+Abc_Ntk_t * Abc_NtkOptPush( Abc_Ntk_t * pNtk, int nLutSize, int fVerbose )
+{
+    extern void Acb_NtkPushLogic( Acb_Ntk_t * p, int nLutSize, int fVerbose );
+    Abc_Ntk_t * pNtkNew;
+    Acb_Ntk_t * p = Acb_NtkFromAbc( pNtk );
+    Acb_NtkPushLogic( p, nLutSize, fVerbose );
+    pNtkNew = Acb_NtkToAbc( pNtk, p );
+    Acb_ManFree( p->pDesign );
+    return pNtkNew;
+}
+
 ////////////////////////////////////////////////////////////////////////
 ///                       END OF FILE                                ///
 ////////////////////////////////////////////////////////////////////////
diff --git a/src/base/acb/module.make b/src/base/acb/module.make
index 06affeff..46294f9f 100644
--- a/src/base/acb/module.make
+++ b/src/base/acb/module.make
@@ -3,5 +3,6 @@ SRC +=    src/base/acb/acbAbc.c \
     src/base/acb/acbCom.c \
     src/base/acb/acbFunc.c \
     src/base/acb/acbMfs.c \
+    src/base/acb/acbPush.c \
     src/base/acb/acbSets.c \
     src/base/acb/acbUtil.c 
-- 
cgit v1.2.3