New feature for area minimization in standard cell mapping.

abclib.dsp

@@ -2555,6 +2555,10 @@ SOURCE=.\src\opt\sfm\sfm.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\opt\sfm\sfmArea.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\opt\sfm\sfmCnf.c
 # End Source File
 # Begin Source File

src/map/mio/mioUtils.c

@@ -733,8 +733,13 @@ Mio_Cell2_t * Mio_CollectRootsNew2( Mio_Library_t * pLib, int nInputs, int * pnG
         assert( Mio_AreaCompare2( ppCells + 4, ppCells + iCell - 1 ) <= 0 );
     }
     // assign IDs
+    Mio_LibraryForEachGate( pLib, pGate0 )
+        Mio_GateSetCell( pGate0, -1 );
     for ( i = 0; i < iCell; i++ )
+    {
         ppCells[i].Id = ppCells[i].pName ? i : -1;
+        Mio_GateSetCell( (Mio_Gate_t *)ppCells[i].pMioGate, i );
+    }
 
     // report
     if ( fVerbose )

src/opt/sfm/module.make

-SRC +=    src/opt/sfm/sfmCnf.c \
+SRC +=    src/opt/sfm/sfmArea.c \
+    src/opt/sfm/sfmCnf.c \
     src/opt/sfm/sfmCore.c \
     src/opt/sfm/sfmDec.c \
     src/opt/sfm/sfmLib.c \

src/opt/sfm/sfmDec.c

@@ -2152,6 +2152,11 @@ void Abc_NtkPerformMfs3( Abc_Ntk_t * pNtk, Sfm_Par_t * pPars )
     if ( pPars->fLibVerbose )
         Sfm_LibPrint( p->pLib );
     Sfm_DecStop( p );
+    if ( pPars->fArea )
+    {
+        extern void Abc_NtkChangePerform( Abc_Ntk_t * pNtk, int fVerbose );
+        Abc_NtkChangePerform( pNtk, pPars->fVerbose );
+    }
 }
 
 ////////////////////////////////////////////////////////////////////////