diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-24 09:54:53 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-24 09:54:53 -0700 |
commit | 00d023713b68fc554197efeb2c766b14ac3ec4bd (patch) | |
tree | 454e35712bc3fc3256dc7e8019f74bc49761d335 /src/map | |
parent | fadcef9eb91411844bdf5d52e687cdd306c94794 (diff) | |
download | abc-00d023713b68fc554197efeb2c766b14ac3ec4bd.tar.gz abc-00d023713b68fc554197efeb2c766b14ac3ec4bd.tar.bz2 abc-00d023713b68fc554197efeb2c766b14ac3ec4bd.zip |
Tuning standard-cell mapping flow.
Diffstat (limited to 'src/map')
-rw-r--r-- | src/map/mapper/mapper.c | 8 | ||||
-rw-r--r-- | src/map/mapper/mapperInt.h | 6 | ||||
-rw-r--r-- | src/map/mapper/mapperLib.c | 10 | ||||
-rw-r--r-- | src/map/mapper/mapperTree.c | 11 | ||||
-rw-r--r-- | src/map/mio/mio.c | 112 | ||||
-rw-r--r-- | src/map/mio/mio.h | 4 | ||||
-rw-r--r-- | src/map/scl/sclLib.c | 20 | ||||
-rw-r--r-- | src/map/scl/sclSize.c | 1 | ||||
-rw-r--r-- | src/map/scl/sclSize.h | 5 |
9 files changed, 112 insertions, 65 deletions
diff --git a/src/map/mapper/mapper.c b/src/map/mapper/mapper.c index 17102cec..020ee9f5 100644 --- a/src/map/mapper/mapper.c +++ b/src/map/mapper/mapper.c @@ -142,8 +142,14 @@ int Map_CommandReadLibrary( Abc_Frame_t * pAbc, int argc, char **argv ) } fclose( pFile ); + if ( Abc_FrameReadLibGen() == NULL ) + { + fprintf( pErr, "Genlib library should be read in first..\n" ); + return 1; + } + // set the new network - pLib = Map_SuperLibCreate( NULL, FileName, ExcludeFile, fAlgorithm, fVerbose ); + pLib = Map_SuperLibCreate( (Mio_Library_t *)Abc_FrameReadLibGen(), NULL, FileName, ExcludeFile, fAlgorithm, fVerbose ); if ( pLib == NULL ) { fprintf( pErr, "Reading supergate library has failed.\n" ); diff --git a/src/map/mapper/mapperInt.h b/src/map/mapper/mapperInt.h index 24017103..c65b8a00 100644 --- a/src/map/mapper/mapperInt.h +++ b/src/map/mapper/mapperInt.h @@ -378,7 +378,7 @@ extern void Map_NodeAddFaninFanout( Map_Node_t * pFanin, Map_Node_t extern void Map_NodeRemoveFaninFanout( Map_Node_t * pFanin, Map_Node_t * pFanoutToRemove ); extern int Map_NodeGetFanoutNum( Map_Node_t * pNode ); /*=== mapperLib.c ============================================================*/ -extern Map_SuperLib_t * Map_SuperLibCreate( Vec_Str_t * vStr, char * pFileName, char * pExcludeFile, int fAlgorithm, int fVerbose ); +extern Map_SuperLib_t * Map_SuperLibCreate( Mio_Library_t * pGenlib, Vec_Str_t * vStr, char * pFileName, char * pExcludeFile, int fAlgorithm, int fVerbose ); extern void Map_SuperLibFree( Map_SuperLib_t * p ); /*=== mapperMatch.c ===============================================================*/ extern int Map_MappingMatches( Map_Man_t * p ); @@ -406,8 +406,8 @@ extern float Map_MappingGetArea( Map_Man_t * pMan, Map_NodeVec_t * v extern void Map_MappingShow( Map_Man_t * pMan, char * pFileName ); /*=== mapperTree.c ===============================================================*/ extern int Map_LibraryDeriveGateInfo( Map_SuperLib_t * pLib, st__table * tExcludeGate ); -extern int Map_LibraryReadFileTreeStr( Map_SuperLib_t * pLib, Vec_Str_t * vStr, char * pFileName ); -extern int Map_LibraryReadTree( Map_SuperLib_t * pLib, char * pFileName, char * pExcludeFile ); +extern int Map_LibraryReadFileTreeStr( Map_SuperLib_t * pLib, Mio_Library_t * pGenlib, Vec_Str_t * vStr, char * pFileName ); +extern int Map_LibraryReadTree( Map_SuperLib_t * pLib, Mio_Library_t * pGenlib, char * pFileName, char * pExcludeFile ); extern void Map_LibraryPrintTree( Map_SuperLib_t * pLib ); /*=== mapperSuper.c ===============================================================*/ extern int Map_LibraryRead( Map_SuperLib_t * p, char * pFileName ); diff --git a/src/map/mapper/mapperLib.c b/src/map/mapper/mapperLib.c index 80c2d610..b98d1492 100644 --- a/src/map/mapper/mapperLib.c +++ b/src/map/mapper/mapperLib.c @@ -55,7 +55,7 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ -Map_SuperLib_t * Map_SuperLibCreate( Vec_Str_t * vStr, char * pFileName, char * pExcludeFile, int fAlgorithm, int fVerbose ) +Map_SuperLib_t * Map_SuperLibCreate( Mio_Library_t * pGenlib, Vec_Str_t * vStr, char * pFileName, char * pExcludeFile, int fAlgorithm, int fVerbose ) { Map_SuperLib_t * p; abctime clk; @@ -79,7 +79,7 @@ clk = Abc_Clock(); if ( vStr != NULL ) { // read the supergate library from file - int Status = Map_LibraryReadFileTreeStr( p, vStr, pFileName ); + int Status = Map_LibraryReadFileTreeStr( p, pGenlib, vStr, pFileName ); if ( Status == 0 ) { Map_SuperLibFree( p ); @@ -96,7 +96,7 @@ clk = Abc_Clock(); } else if ( fAlgorithm ) { - if ( !Map_LibraryReadTree( p, pFileName, pExcludeFile ) ) + if ( !Map_LibraryReadTree( p, pGenlib, pFileName, pExcludeFile ) ) { Map_SuperLibFree( p ); return NULL; @@ -169,7 +169,7 @@ void Map_SuperLibFree( Map_SuperLib_t * p ) if ( p == NULL ) return; if ( p->pGenlib ) { - assert( p->pGenlib == Abc_FrameReadLibGen() ); +// assert( p->pGenlib == Abc_FrameReadLibGen() ); // Mio_LibraryDelete( p->pGenlib ); // Abc_FrameSetLibGen( NULL ); p->pGenlib = NULL; @@ -210,7 +210,7 @@ int Map_SuperLibDeriveFromGenlib( Mio_Library_t * pLib, int fVerbose ) return 0; // create supergate library pFileName = Extra_FileNameGenericAppend( Mio_LibraryReadName(pLib), ".super" ); - pLibSuper = Map_SuperLibCreate( vStr, pFileName, NULL, 1, 0 ); + pLibSuper = Map_SuperLibCreate( pLib, vStr, pFileName, NULL, 1, 0 ); Vec_StrFree( vStr ); // replace the library Map_SuperLibFree( (Map_SuperLib_t *)Abc_FrameReadLibSuper() ); diff --git a/src/map/mapper/mapperTree.c b/src/map/mapper/mapperTree.c index 8c23417c..d4c494ae 100644 --- a/src/map/mapper/mapperTree.c +++ b/src/map/mapper/mapperTree.c @@ -142,6 +142,7 @@ Map_Super_t * Map_LibraryReadGateTree( Map_SuperLib_t * pLib, char * pBuffer, in SeeAlso [] ***********************************************************************/ +/* int Map_LibraryReadFileTree( Map_SuperLib_t * pLib, FILE * pFile, char *pFileName ) { ProgressBar * pProgress; @@ -299,6 +300,7 @@ int Map_LibraryReadTree2( Map_SuperLib_t * pLib, char * pFileName, char * pExclu // prepare the info about the library return Map_LibraryDeriveGateInfo( pLib, tExcludeGate ); } +*/ /**Function************************************************************* @@ -386,7 +388,7 @@ int Map_LibraryCompareLibNames( char * pName1, char * pName2 ) SeeAlso [] ***********************************************************************/ -int Map_LibraryReadFileTreeStr( Map_SuperLib_t * pLib, Vec_Str_t * vStr, char * pFileName ) +int Map_LibraryReadFileTreeStr( Map_SuperLib_t * pLib, Mio_Library_t * pGenlib, Vec_Str_t * vStr, char * pFileName ) { ProgressBar * pProgress; char pBuffer[5000]; @@ -410,7 +412,8 @@ int Map_LibraryReadFileTreeStr( Map_SuperLib_t * pLib, Vec_Str_t * vStr, char * } pLibName = strtok( pTemp, " \t\r\n" ); - pLib->pGenlib = (Mio_Library_t *)Abc_FrameReadLibGen(); +// pLib->pGenlib = (Mio_Library_t *)Abc_FrameReadLibGen(); + pLib->pGenlib = pGenlib; // if ( pLib->pGenlib == NULL || strcmp( , pLibName ) ) if ( pLib->pGenlib == NULL || Map_LibraryCompareLibNames(Mio_LibraryReadName(pLib->pGenlib), pLibName) ) { @@ -519,7 +522,7 @@ int Map_LibraryReadFileTreeStr( Map_SuperLib_t * pLib, Vec_Str_t * vStr, char * pLib->nSupersReal = nCounter; return 1; } -int Map_LibraryReadTree( Map_SuperLib_t * pLib, char * pFileName, char * pExcludeFile ) +int Map_LibraryReadTree( Map_SuperLib_t * pLib, Mio_Library_t * pGenlib, char * pFileName, char * pExcludeFile ) { char * pBuffer; Vec_Str_t * vStr; @@ -554,7 +557,7 @@ int Map_LibraryReadTree( Map_SuperLib_t * pLib, char * pFileName, char * pExclud fprintf ( Abc_FrameReadOut( pAbc ), "Read %d gates from exclude file\n", num ); } - Status = Map_LibraryReadFileTreeStr( pLib, vStr, pFileName ); + Status = Map_LibraryReadFileTreeStr( pLib, pGenlib, vStr, pFileName ); Vec_StrFree( vStr ); if ( Status == 0 ) return 0; diff --git a/src/map/mio/mio.c b/src/map/mio/mio.c index b5153f1c..9f79ca1b 100644 --- a/src/map/mio/mio.c +++ b/src/map/mio/mio.c @@ -110,6 +110,63 @@ void Mio_End( Abc_Frame_t * pAbc ) Amap_LibFree( (Amap_Lib_t *)Abc_FrameReadLibGen2() ); } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Mio_UpdateGenlib( Mio_Library_t * pLib ) +{ + // free the current superlib because it depends on the old Mio library + if ( Abc_FrameReadLibSuper() ) + { + Map_SuperLibFree( (Map_SuperLib_t *)Abc_FrameReadLibSuper() ); + Abc_FrameSetLibSuper( NULL ); + } + + // replace the current library + Mio_LibraryDelete( (Mio_Library_t *)Abc_FrameReadLibGen() ); + Abc_FrameSetLibGen( pLib ); + + // replace the current library + Amap_LibFree( (Amap_Lib_t *)Abc_FrameReadLibGen2() ); + Abc_FrameSetLibGen2( NULL ); +} +int Mio_UpdateGenlib2( Vec_Str_t * vStr, Vec_Str_t * vStr2, char * pFileName, int fVerbose ) +{ + Mio_Library_t * pLib; + // set the new network + pLib = Mio_LibraryRead( pFileName, Vec_StrArray(vStr), NULL, fVerbose ); + if ( pLib == NULL ) + return 0; + + // free the current superlib because it depends on the old Mio library + if ( Abc_FrameReadLibSuper() ) + { + Map_SuperLibFree( (Map_SuperLib_t *)Abc_FrameReadLibSuper() ); + Abc_FrameSetLibSuper( NULL ); + } + + // replace the current library + Mio_LibraryDelete( (Mio_Library_t *)Abc_FrameReadLibGen() ); + Abc_FrameSetLibGen( pLib ); + + // set the new network + pLib = (Mio_Library_t *)Amap_LibReadAndPrepare( pFileName, Vec_StrArray(vStr2), 0, 0 ); + if ( pLib == NULL ) + return 0; + + // replace the current library + Amap_LibFree( (Amap_Lib_t *)Abc_FrameReadLibGen2() ); + Abc_FrameSetLibGen2( pLib ); + return 1; +} /**Function************************************************************* @@ -155,11 +212,8 @@ int Mio_CommandReadLiberty( Abc_Frame_t * pAbc, int argc, char **argv ) } } - if ( argc != globalUtilOptind + 1 ) - { goto usage; - } // get the input file name pFileName = argv[globalUtilOptind]; @@ -183,43 +237,17 @@ int Mio_CommandReadLiberty( Abc_Frame_t * pAbc, int argc, char **argv ) } else { - Mio_Library_t * pLib; Vec_Str_t * vStr, * vStr2; - + int RetValue; vStr = Amap_LibertyParseStr( pFileName, fVerbose ); if ( vStr == NULL ) return 0; - vStr2 = Vec_StrDup( vStr ); - - // set the new network - pLib = Mio_LibraryRead( pFileName, Vec_StrArray(vStr), NULL, fVerbose ); + vStr2 = Vec_StrDup(vStr); + RetValue = Mio_UpdateGenlib2( vStr, vStr2, pFileName, fVerbose ); Vec_StrFree( vStr ); - if ( pLib == NULL ) - { - Vec_StrFree( vStr2 ); - return 0; - } - - // free the current superlib because it depends on the old Mio library - if ( Abc_FrameReadLibSuper() ) - { - Map_SuperLibFree( (Map_SuperLib_t *)Abc_FrameReadLibSuper() ); - Abc_FrameSetLibSuper( NULL ); - } - - // replace the current library - Mio_LibraryDelete( (Mio_Library_t *)Abc_FrameReadLibGen() ); - Abc_FrameSetLibGen( pLib ); - - // set the new network - pLib = (Mio_Library_t *)Amap_LibReadAndPrepare( pFileName, Vec_StrArray(vStr2), 0, 0 ); Vec_StrFree( vStr2 ); - if ( pLib == NULL ) - return 0; - - // replace the current library - Amap_LibFree( (Amap_Lib_t *)Abc_FrameReadLibGen2() ); - Abc_FrameSetLibGen2( pLib ); + if ( !RetValue ) + printf( "Reading library has filed.\n" ); } return 0; @@ -331,26 +359,16 @@ int Mio_CommandReadGenlib( Abc_Frame_t * pAbc, int argc, char **argv ) if ( WireDelay != 0.0 ) Mio_LibraryShiftDelay( pLib, WireDelay ); - // free the current superlib because it depends on the old Mio library - if ( Abc_FrameReadLibSuper() ) - { - Map_SuperLibFree( (Map_SuperLib_t *)Abc_FrameReadLibSuper() ); - Abc_FrameSetLibSuper( NULL ); - } + // prepare libraries + Mio_UpdateGenlib( pLib ); // replace the current library - Mio_LibraryDelete( (Mio_Library_t *)Abc_FrameReadLibGen() ); - Abc_FrameSetLibGen( pLib ); - - // set the new network pLib2 = Amap_LibReadAndPrepare( pFileName, NULL, 0, 0 ); if ( pLib2 == NULL ) { - fprintf( pErr, "Reading genlib library has failed.\n" ); + fprintf( pErr, "Reading second genlib library has failed.\n" ); return 1; } - // replace the current library - Amap_LibFree( (Amap_Lib_t *)Abc_FrameReadLibGen2() ); Abc_FrameSetLibGen2( pLib2 ); return 0; diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h index ed297a1b..2d78fec8 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -79,6 +79,10 @@ static inline char * Mio_UtilStrsav( char * s ) { return s ? strcpy(ABC_A /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// +/*=== mio.c =============================================================*/ +extern void Mio_UpdateGenlib( Mio_Library_t * pLib ); +extern int Mio_UpdateGenlib2( Vec_Str_t * vStr, Vec_Str_t * vStr2, char * pFileName, int fVerbose ); +extern void Mio_SclDeriveGenlib( void * pScl, float Slew, float Gain, int nGatesMin ); /*=== mioApi.c =============================================================*/ extern char * Mio_LibraryReadName ( Mio_Library_t * pLib ); extern int Mio_LibraryReadGateNum ( Mio_Library_t * pLib ); diff --git a/src/map/scl/sclLib.c b/src/map/scl/sclLib.c index feaab7f2..3e6f330f 100644 --- a/src/map/scl/sclLib.c +++ b/src/map/scl/sclLib.c @@ -1044,7 +1044,7 @@ void Abc_SclPrintCells( SC_Lib * p, float Slew, float Gain ) SeeAlso [] ***********************************************************************/ -Vec_Str_t * Abc_SclDeriveGenlib( SC_Lib * p, float Slew, float Gain, int nGatesMin, int * pnCellCount ) +Vec_Str_t * Abc_SclDeriveGenlibStr( SC_Lib * p, float Slew, float Gain, int nGatesMin, int * pnCellCount ) { extern char * Abc_SclFindGateFormula( char * pGateName, char * pOutName ); char Buffer[200]; @@ -1090,7 +1090,8 @@ Vec_Str_t * Abc_SclDeriveGenlib( SC_Lib * p, float Slew, float Gain, int nGatesM Vec_StrPush( vStr, '\0' ); // printf( "%s", Vec_StrArray(vStr) ); // printf( "GENLIB library with %d gates is produced.\n", Count ); - *pnCellCount = Count; + if ( pnCellCount ) + *pnCellCount = Count; return vStr; } void Abc_SclDumpGenlib( char * pFileName, SC_Lib * p, float Slew, float Gain, int nGatesMin ) @@ -1109,12 +1110,25 @@ void Abc_SclDumpGenlib( char * pFileName, SC_Lib * p, float Slew, float Gain, in printf( "Cannot open file \"%s\" for writing.\n", FileName ); return; } - vStr = Abc_SclDeriveGenlib( p, Slew, Gain, nGatesMin, &nCellCount ); + vStr = Abc_SclDeriveGenlibStr( p, Slew, Gain, nGatesMin, &nCellCount ); fprintf( pFile, "%s", Vec_StrArray(vStr) ); Vec_StrFree( vStr ); fclose( pFile ); printf( "Written GENLIB library with %d gates into file \"%s\".\n", nCellCount, FileName ); } +void Mio_SclDeriveGenlib( void * pScl, float Slew, float Gain, int nGatesMin ) +{ + int nGateCount = 0; + Vec_Str_t * vStr = Abc_SclDeriveGenlibStr( pScl, Slew, Gain, nGatesMin, &nGateCount ); + Vec_Str_t * vStr2 = Vec_StrDup( vStr ); + int RetValue = Mio_UpdateGenlib2( vStr, vStr2, ((SC_Lib *)pScl)->pName, 0 ); + Vec_StrFree( vStr ); + Vec_StrFree( vStr2 ); + if ( RetValue ) + printf( "Internally derived GENLIB library \"%s\" with %d gates.\n", ((SC_Lib *)pScl)->pName, nGateCount ); + else + printf( "Reading library has filed.\n" ); +} //////////////////////////////////////////////////////////////////////// /// END OF FILE /// diff --git a/src/map/scl/sclSize.c b/src/map/scl/sclSize.c index 177dac12..123eb94a 100644 --- a/src/map/scl/sclSize.c +++ b/src/map/scl/sclSize.c @@ -129,6 +129,7 @@ void Abc_SclTimeNtkPrint( SC_Man * p, int fShowAll, int fPrintPath ) int i, nLength = 0, fRise = 0; Abc_Obj_t * pObj, * pPivot = Abc_SclFindCriticalCo( p, &fRise ); float maxDelay = Abc_SclObjTimePs(p, pPivot, fRise); + p->ReportDelay = maxDelay; printf( "WireLoad model = \"%s\". ", p->pWLoadUsed ? p->pWLoadUsed->pName : "none" ); printf( "Gates = %6d. ", Abc_NtkNodeNum(p->pNtk) ); diff --git a/src/map/scl/sclSize.h b/src/map/scl/sclSize.h index 1bc79d98..ca3c2c06 100644 --- a/src/map/scl/sclSize.h +++ b/src/map/scl/sclSize.h @@ -73,6 +73,7 @@ struct SC_Man_ float SumArea0; // total area at the begining float MaxDelay0; // max delay at the begining float BestDelay; // best delay in the middle + float ReportDelay; // delay to report // runtime statistics abctime timeTotal; // starting/total time abctime timeCone; // critical path selection @@ -364,8 +365,8 @@ static inline void Abc_SclDumpStats( SC_Man * p, char * pFileName, abctime Time fprintf( pTable, "%d ", Abc_NtkPoNum(p->pNtk) ); fprintf( pTable, "%d ", Abc_NtkNodeNum(p->pNtk) ); fprintf( pTable, "%d ", (int)p->SumArea ); - fprintf( pTable, "%d ", (int)SC_LibTimePs(p->pLib, p->MaxDelay) ); - fprintf( pTable, "%.2f ", 1.0*Time/CLOCKS_PER_SEC ); + fprintf( pTable, "%d ", (int)p->ReportDelay ); +// fprintf( pTable, "%.2f ", 1.0*Time/CLOCKS_PER_SEC ); fprintf( pTable, "\n" ); fclose( pTable ); } |