diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-09 10:16:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-09 10:16:07 -0700 |
| commit | b94b810297bb95ef47190e1274f591cd2c78352d (patch) | |
| tree | 69f13041abd52a49f1420c68b323ac2c595d6c73 /src/base/ver/verCore.c | |
| parent | 5374797be15d8ac68e8cab23d21d0bf58f6a6fcb (diff) | |
| download | abc-b94b810297bb95ef47190e1274f591cd2c78352d.tar.gz abc-b94b810297bb95ef47190e1274f591cd2c78352d.tar.bz2 abc-b94b810297bb95ef47190e1274f591cd2c78352d.zip | |
Renamed Abc_Lib_t into Abc_Des_t and removed some dead code.
Diffstat (limited to 'src/base/ver/verCore.c')
| -rw-r--r-- | src/base/ver/verCore.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c index 875a16b4..bb0f243f 100644 --- a/src/base/ver/verCore.c +++ b/src/base/ver/verCore.c @@ -51,7 +51,7 @@ typedef enum { VER_GATE_NOT } Ver_GateType_t; -static Ver_Man_t * Ver_ParseStart( char * pFileName, Abc_Lib_t * pGateLib ); +static Ver_Man_t * Ver_ParseStart( char * pFileName, Abc_Des_t * pGateLib ); static void Ver_ParseStop( Ver_Man_t * p ); static void Ver_ParseFreeData( Ver_Man_t * p ); static void Ver_ParseInternal( Ver_Man_t * p ); @@ -101,7 +101,7 @@ struct Ver_Bundle_t_ SeeAlso [] ***********************************************************************/ -Ver_Man_t * Ver_ParseStart( char * pFileName, Abc_Lib_t * pGateLib ) +Ver_Man_t * Ver_ParseStart( char * pFileName, Abc_Des_t * pGateLib ) { Ver_Man_t * p; p = ABC_ALLOC( Ver_Man_t, 1 ); @@ -119,7 +119,7 @@ Ver_Man_t * Ver_ParseStart( char * pFileName, Abc_Lib_t * pGateLib ) p->vStackOp = Vec_IntAlloc( 100 ); p->vPerm = Vec_IntAlloc( 100 ); // create the design library and assign the technology library - p->pDesign = Abc_LibCreate( pFileName ); + p->pDesign = Abc_DesCreate( pFileName ); p->pDesign->pLibrary = pGateLib; // derive library from SCL // if ( Abc_FrameReadLibScl() ) @@ -162,10 +162,10 @@ void Ver_ParseStop( Ver_Man_t * p ) SeeAlso [] ***********************************************************************/ -Abc_Lib_t * Ver_ParseFile( char * pFileName, Abc_Lib_t * pGateLib, int fCheck, int fUseMemMan ) +Abc_Des_t * Ver_ParseFile( char * pFileName, Abc_Des_t * pGateLib, int fCheck, int fUseMemMan ) { Ver_Man_t * p; - Abc_Lib_t * pDesign; + Abc_Des_t * pDesign; // start the parser p = Ver_ParseStart( pFileName, pGateLib ); p->fMapped = glo_fMapped; @@ -259,7 +259,7 @@ void Ver_ParseFreeData( Ver_Man_t * p ) { if ( p->pDesign ) { - Abc_LibFree( p->pDesign, NULL ); + Abc_DesFree( p->pDesign, NULL ); p->pDesign = NULL; } } @@ -302,7 +302,7 @@ Abc_Ntk_t * Ver_ParseFindOrCreateNetwork( Ver_Man_t * pMan, char * pName ) { Abc_Ntk_t * pNtkNew; // check if the network exists - if ( (pNtkNew = Abc_LibFindModelByName( pMan->pDesign, pName )) ) + if ( (pNtkNew = Abc_DesFindModelByName( pMan->pDesign, pName )) ) return pNtkNew; //printf( "Creating network %s.\n", pName ); // create new network @@ -310,7 +310,7 @@ Abc_Ntk_t * Ver_ParseFindOrCreateNetwork( Ver_Man_t * pMan, char * pName ) pNtkNew->pName = Extra_UtilStrsav( pName ); pNtkNew->pSpec = NULL; // add module to the design - Abc_LibAddModel( pMan->pDesign, pNtkNew ); + Abc_DesAddModel( pMan->pDesign, pNtkNew ); return pNtkNew; } |