diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-09 23:27:40 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-09 23:27:40 -0800 |
| commit | 089a8bbfc9861bb3dacc10710bd28e845b5c46f8 (patch) | |
| tree | 6497b2c4625bbaac419cd7496cc46cea67cfd078 /src/base/cba/cbaBlast.c | |
| parent | fd877c3f376fb50c5c5f863ad975867ad2eda994 (diff) | |
| download | abc-089a8bbfc9861bb3dacc10710bd28e845b5c46f8.tar.gz abc-089a8bbfc9861bb3dacc10710bd28e845b5c46f8.tar.bz2 abc-089a8bbfc9861bb3dacc10710bd28e845b5c46f8.zip | |
Several improvements to CBA data-structure.
Diffstat (limited to 'src/base/cba/cbaBlast.c')
| -rw-r--r-- | src/base/cba/cbaBlast.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/base/cba/cbaBlast.c b/src/base/cba/cbaBlast.c index eeb8e56d..f227ebf4 100644 --- a/src/base/cba/cbaBlast.c +++ b/src/base/cba/cbaBlast.c @@ -22,6 +22,7 @@ #include "base/abc/abc.h" #include "map/mio/mio.h" #include "bool/dec/dec.h" +#include "base/main/mainInt.h" ABC_NAMESPACE_IMPL_START @@ -489,6 +490,17 @@ void Cba_NtkPrepareLibrary( Cba_Man_t * p, Mio_Library_t * pLib ) Abc_NamStrFindOrAdd( p->pMods, Mio_GateReadName(pGate), NULL ); assert( Abc_NamObjNumMax(p->pMods) > 1 ); } +int Cba_NtkBuildLibrary( Cba_Man_t * p ) +{ + int RetValue = 1; + Mio_Library_t * pLib = (Mio_Library_t *)Abc_FrameReadLibGen( Abc_FrameGetGlobalFrame() ); + if ( pLib == NULL ) + printf( "The standard cell library is not available.\n" ), RetValue = 0; + else + Cba_NtkPrepareLibrary( p, pLib ); + p->pMioLib = pLib; + return RetValue; +} void Cba_NtkInsertNtk( Cba_Man_t * p, Abc_Ntk_t * pNtk ) { Cba_Ntk_t * pCbaNtk, * pRoot = Cba_ManRoot( p ); |