diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-17 13:16:20 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-17 13:16:20 -0700 |
commit | 7d3976a76353b4a89588925285e80ea33efa0797 (patch) | |
tree | 017fa2a4eda34a7b53078ab44c55850cc4136815 /src/map/mapper/mapperLib.c | |
parent | 5df166fce17e7729b590d799da753f6ab811886b (diff) | |
download | abc-7d3976a76353b4a89588925285e80ea33efa0797.tar.gz abc-7d3976a76353b4a89588925285e80ea33efa0797.tar.bz2 abc-7d3976a76353b4a89588925285e80ea33efa0797.zip |
Unifying standard cell library representations.
Diffstat (limited to 'src/map/mapper/mapperLib.c')
-rw-r--r-- | src/map/mapper/mapperLib.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/map/mapper/mapperLib.c b/src/map/mapper/mapperLib.c index b98d1492..6356e2f3 100644 --- a/src/map/mapper/mapperLib.c +++ b/src/map/mapper/mapperLib.c @@ -169,9 +169,8 @@ void Map_SuperLibFree( Map_SuperLib_t * p ) if ( p == NULL ) return; if ( p->pGenlib ) { -// assert( p->pGenlib == Abc_FrameReadLibGen() ); -// Mio_LibraryDelete( p->pGenlib ); -// Abc_FrameSetLibGen( NULL ); + if ( p->pGenlib != Abc_FrameReadLibGen() ) + Mio_LibraryDelete( p->pGenlib ); p->pGenlib = NULL; } if ( p->tTableC ) @@ -204,14 +203,17 @@ int Map_SuperLibDeriveFromGenlib( Mio_Library_t * pLib, int fVerbose ) char * pFileName; if ( pLib == NULL ) return 0; + // compute supergates vStr = Super_PrecomputeStr( pLib, 5, 1, 100000000, 10000000, 10000000, 100, 1, 0 ); if ( vStr == NULL ) return 0; + // create supergate library pFileName = Extra_FileNameGenericAppend( Mio_LibraryReadName(pLib), ".super" ); pLibSuper = Map_SuperLibCreate( pLib, vStr, pFileName, NULL, 1, 0 ); Vec_StrFree( vStr ); + // replace the library Map_SuperLibFree( (Map_SuperLib_t *)Abc_FrameReadLibSuper() ); Abc_FrameSetLibSuper( pLibSuper ); |