diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-16 16:14:16 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-16 16:14:16 -0800 |
| commit | d6d0627d134036b97f81c595ff9316fe2b970a41 (patch) | |
| tree | 32bc9ba3a8a710f0ce0e95e854399fcf62dbbb36 /src/base/cba/cbaReadBlif.c | |
| parent | 1a5a11cbc6054fc63f49a0ecb57ccdcf1bd480b0 (diff) | |
| download | abc-d6d0627d134036b97f81c595ff9316fe2b970a41.tar.gz abc-d6d0627d134036b97f81c595ff9316fe2b970a41.tar.bz2 abc-d6d0627d134036b97f81c595ff9316fe2b970a41.zip | |
Organizing commands for barbuf-aware flow.
Diffstat (limited to 'src/base/cba/cbaReadBlif.c')
| -rw-r--r-- | src/base/cba/cbaReadBlif.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/base/cba/cbaReadBlif.c b/src/base/cba/cbaReadBlif.c index 08152075..83ec12f5 100644 --- a/src/base/cba/cbaReadBlif.c +++ b/src/base/cba/cbaReadBlif.c @@ -64,9 +64,9 @@ static inline void Cba_PrsAddBlifDirectives( Cba_Prs_t * p ) for ( i = 1; s_BlifTypes[i]; i++ ) Abc_NamStrFindOrAdd( p->pDesign->pNames, (char *)s_BlifTypes[i], NULL ); assert( Abc_NamObjNumMax(p->pDesign->pNames) == i ); - Abc_NamStrFindOrAdd( p->pDesign->pFuncs, (char *)" 0\n", NULL ); // default const 0 function - Abc_NamStrFindOrAdd( p->pDesign->pFuncs, (char *)"1 1\n", NULL ); // default buffer function - assert( Abc_NamObjNumMax(p->pDesign->pFuncs) == 3 ); + for ( i = 1; i < CBA_NODE_UNKNOWN; i++ ) + Abc_NamStrFindOrAdd( p->pDesign->pFuncs, Ptr_TypeToSop(i), NULL ); + assert( Abc_NamObjNumMax(p->pDesign->pFuncs) == i-1 ); } @@ -408,6 +408,7 @@ Cba_Man_t * Cba_PrsReadBlif( char * pFileName ) if ( Cba_PrsErrorPrint(p) ) ABC_SWAP( Cba_Man_t *, pDesign, p->pDesign ); Cba_PrsFree( p ); + Cba_PrsRemapBoxModels( pDesign ); return pDesign; } |