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/cbaBuild.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/cbaBuild.c')
| -rw-r--r-- | src/base/cba/cbaBuild.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/cba/cbaBuild.c b/src/base/cba/cbaBuild.c index b353e8f6..ddacc409 100644 --- a/src/base/cba/cbaBuild.c +++ b/src/base/cba/cbaBuild.c @@ -204,7 +204,6 @@ Cba_Ntk_t * Cba_NtkBuild( Cba_Man_t * pNew, Cba_Ntk_t * pNtk, Vec_Int_t * vMap, { ObjId = Vec_IntEntry( &pNtkNew->vBoxes, nBoxes++ ); pNtkBox = Cba_ObjBoxModel( pNtk, iObj ); - Cba_NtkSetHost( pNtkBox, Cba_NtkId(pNtk), ObjId ); // collect fanins Vec_IntFill( vTemp, Cba_NtkPiNum(pNtkBox), -1 ); Vec_IntForEachEntry( vFanins, Index, i ) @@ -227,6 +226,7 @@ Cba_Ntk_t * Cba_NtkBuild( Cba_Man_t * pNew, Cba_Ntk_t * pNtk, Vec_Int_t * vMap, // create box Vec_IntWriteEntry( &pNtkNew->vTypes, ObjId, CBA_OBJ_BOX ); Vec_IntWriteEntry( &pNtkNew->vFuncs, ObjId, Cba_ManNtkId(pNew, Cba_NtkName(pNtkBox)) ); + Cba_NtkSetHost( Cba_ObjBoxModel(pNtkNew, ObjId), Cba_NtkId(pNtkNew), ObjId ); // create box inputs Cba_BoxForEachBi( pNtkNew, ObjId, FaninId, i ) { @@ -311,7 +311,8 @@ Cba_Man_t * Cba_ManBuild( Cba_Man_t * p ) Vec_Int_t * vMap = Vec_IntStartFull( Abc_NamObjNumMax(p->pNames) + 1 ); Vec_Int_t * vNonDr = Vec_IntAlloc( 1000 ); Vec_Int_t * vTemp = Vec_IntAlloc( 1000 ); - Cba_Ntk_t * pNtk; int i, nObjs; + Cba_Ntk_t * pNtk; + int i, nObjs; assert( Abc_NamObjNumMax(p->pModels) == Cba_ManNtkNum(p) + 1 ); Cba_ManForEachNtk( p, pNtk, i ) { |