From df6c9415c138e90bbd15c1dc519a463b344aabd8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 4 Nov 2015 14:43:00 -0800
Subject: Adding procedure Abc_NtkSetAndGateDelay().

---
 src/base/abci/abcMap.c | 51 ++++++++++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 49 insertions(+), 2 deletions(-)

(limited to 'src/base')

diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c
index c40029f7..ce5bc5e8 100644
--- a/src/base/abci/abcMap.c
+++ b/src/base/abci/abcMap.c
@@ -918,7 +918,7 @@ void Abc_NtkTestMiniMapping( Abc_Ntk_t * p )
 
 /**Function*************************************************************
 
-  Synopsis    [These APIs set arriva/required times of CIs/COs.]
+  Synopsis    [These APIs set arrival/required times of CIs/COs.]
 
   Description []
                
@@ -933,12 +933,21 @@ void Abc_NtkSetCiArrivalTime( void * pAbc0, int iCi, float Rise, float Fall )
     Abc_Ntk_t * pNtk;
     Abc_Obj_t * pNode;
     if ( pAbc == NULL )
+    {
         printf( "ABC framework is not initialized by calling Abc_Start()\n" );
+        return;
+    }
     pNtk = Abc_FrameReadNtk( pAbc );
     if ( pNtk == NULL )
+    {
         printf( "Current network in ABC framework is not defined.\n" );
+        return;
+    }
     if ( iCi < 0 || iCi >= Abc_NtkCiNum(pNtk) )
+    {
         printf( "CI index is not valid.\n" );
+        return;
+    }
     pNode = Abc_NtkCi( pNtk, iCi );
     Abc_NtkTimeSetArrival( pNtk, Abc_ObjId(pNode), Rise, Fall );
 }
@@ -947,17 +956,55 @@ void Abc_NtkSetCoRequiredTime( void * pAbc0, int iCo, float Rise, float Fall )
     Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0;
     Abc_Ntk_t * pNtk;
     Abc_Obj_t * pNode;
-    if ( pAbc == NULL )
+    if ( pAbc == NULL )\
+    {
         printf( "ABC framework is not initialized by calling Abc_Start()\n" );
+        return;
+    }
     pNtk = Abc_FrameReadNtk( pAbc );
     if ( pNtk == NULL )
+    {
         printf( "Current network in ABC framework is not defined.\n" );
+        return;
+    }
     if ( iCo < 0 || iCo >= Abc_NtkCoNum(pNtk) )
+    {
         printf( "CO index is not valid.\n" );
+        return;
+    }
     pNode = Abc_NtkCo( pNtk, iCo );
     Abc_NtkTimeSetRequired( pNtk, Abc_ObjId(pNode), Rise, Fall );
 }
 
+/**Function*************************************************************
+
+  Synopsis    [This APIs set AND gate delay.]
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+void Abc_NtkSetAndGateDelay( void * pAbc0, float Delay )
+{
+    Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0;
+    Abc_Ntk_t * pNtk;
+    if ( pAbc == NULL )
+    {
+        printf( "ABC framework is not initialized by calling Abc_Start()\n" );
+        return;
+    }
+    pNtk = Abc_FrameReadNtk( pAbc );
+    if ( pNtk == NULL )
+    {
+        printf( "Current network in ABC framework is not defined.\n" );
+        return;
+    }
+    pNtk->AndGateDelay = Delay;
+}
+
 ////////////////////////////////////////////////////////////////////////
 ///                       END OF FILE                                ///
 ////////////////////////////////////////////////////////////////////////
-- 
cgit v1.2.3