1 files changed, 13 insertions, 8 deletions
diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c
index 1abe872d..56348ee7 100644
--- a/src/base/abci/abcMap.c
+++ b/src/base/abci/abcMap.c
@@ -57,7 +57,7 @@ static Abc_Obj_t *  Abc_NodeFromMapSuperChoice_rec( Abc_Ntk_t * pNtkNew, Map_Sup
   SeeAlso     []
 
 ***********************************************************************/
-Abc_Ntk_t * Abc_NtkMap( Abc_Ntk_t * pNtk, double DelayTarget, double AreaMulti, int fRecovery, int fSwitching, int fVerbose )
+Abc_Ntk_t * Abc_NtkMap( Abc_Ntk_t * pNtk, double DelayTarget, double AreaMulti, double DelayMulti, int fRecovery, int fSwitching, int fVerbose )
 {
     int fShowSwitching = 1;
     Abc_Ntk_t * pNtkNew;
@@ -76,22 +76,27 @@ Abc_Ntk_t * Abc_NtkMap( Abc_Ntk_t * pNtk, double DelayTarget, double AreaMulti,
         return 0;
     }
 
+    // penalize large gates by increasing their area
+    Mio_LibraryMultiArea( pLib, AreaMulti );
+    Mio_LibraryMultiDelay( pLib, DelayMulti );
+
     // derive the supergate library
     if ( Abc_FrameReadLibSuper() == NULL && pLib )
     {
 //        printf( "A simple supergate library is derived from gate library \"%s\".\n", 
 //            Mio_LibraryReadName((Mio_Library_t *)Abc_FrameReadLibGen()) );
-
-        // penalize large gates by increasing their area
-        Mio_LibraryShiftArea( pLib, AreaMulti );
         // compute supergate library to be used for mapping
         Map_SuperLibDeriveFromGenlib( pLib );
-        // return the library to normal
-        Mio_LibraryShiftArea( Abc_FrameReadLibGen(), -AreaMulti );
-        if ( AreaMulti != 0.0 )
-            printf( "The cell areas are multiplied by the factor: <num_fanins> ^ (%.2f).\n", AreaMulti );
     }
 
+    // return the library to normal
+    Mio_LibraryMultiArea( Abc_FrameReadLibGen(), -AreaMulti );
+    Mio_LibraryMultiDelay( Abc_FrameReadLibGen(), -DelayMulti );
+    if ( AreaMulti != 0.0 )
+        printf( "The cell areas are multiplied by the factor: <num_fanins> ^ (%.2f).\n", AreaMulti );
+    if ( DelayMulti != 0.0 )
+        printf( "The cell delay are multiplied by the factor: <num_fanins> ^ (%.2f).\n", DelayMulti );
+
     // print a warning about choice nodes
     if ( Abc_NtkGetChoiceNum( pNtk ) )
         printf( "Performing mapping with choices.\n" );