Searched refs:vTfi (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbUtil.c | 143 Vec_IntForEachEntryReverse( vTfi, iObj, i ) in Acb_NtkComputeLevelR() 241 Vec_IntForEachEntryReverse( vTfi, iObj, i ) in Acb_NtkComputePathsR() 253 Vec_IntForEachEntry( vTfi, iObj, i ) in Acb_NtkComputePathsR() 292 Acb_NtkComputeLevelR( p, vTfi ); in Acb_NtkComputePaths() 296 Acb_NtkComputePathsR( p, vTfi, 1 ); in Acb_NtkComputePaths() 355 assert( Vec_IntEntryLast(vTfi) == iObj ); in Acb_NtkUpdateTiming() 361 Acb_NtkComputeLevelR( p, vTfi ); in Acb_NtkUpdateTiming() 367 vTfi = Acb_ObjCollectTfi( p, -1, 1 ); in Acb_NtkUpdateTiming() 373 Acb_NtkComputePathsD( p, vTfi, 0 ); in Acb_NtkUpdateTiming() 378 Acb_NtkComputePathsR( p, vTfi, 1 ); in Acb_NtkUpdateTiming() [all …]
|
H A D | acbMfs.c | 747 Vec_Int_t * Acb_NtkCollectWindow( Acb_Ntk_t * p, int Pivot, Vec_Int_t * vTfi, Vec_Int_t * vTfo, Vec… in Acb_NtkCollectWindow() argument 751 assert( Vec_IntEntryLast(vTfi) == Pivot ); in Acb_NtkCollectWindow() 754 Vec_IntForEachEntry( vTfi, iObj, i ) in Acb_NtkCollectWindow() 757 Vec_IntForEachEntry( vTfi, iObj, i ) in Acb_NtkCollectWindow() 794 Vec_Int_t * vWin, * vDivs, * vMarked, * vTfo, * vRoots, * vSide, * vTfi; in Acb_NtkWindow() local 812 vTfi = Acb_NtkCollectNewTfi( p, Pivot, vDivs, vSide, pnDivs ); in Acb_NtkWindow() 813 if ( fVerbose ) Acb_NtkPrintVec( p, vTfi, "vTfi" ); in Acb_NtkWindow() 817 vWin = Acb_NtkCollectWindow( p, Pivot, vTfi, vTfo, vRoots ); in Acb_NtkWindow() 819 Vec_IntFree( vTfi ); in Acb_NtkWindow()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
H A D | sfmDec.c | 1424 Vec_IntPush( vTfi, Abc_ObjId(pObj) ); in Abc_NtkDfsOne_rec() 1430 pObj->iTemp |= Abc_NtkDfsOne_rec( pFanin, vTfi, nLevelMin, CiLabel ); in Abc_NtkDfsOne_rec() 1431 Vec_IntPush( vTfi, Abc_ObjId(pObj) ); in Abc_NtkDfsOne_rec() 1591 Vec_IntClear( vTfi ); in Sfm_DecExtract() 1593 Abc_NtkDfsOne_rec( pPivot, vTfi, nLevelMin, SFM_MASK_PI ); in Sfm_DecExtract() 1594 nTfiSize = Vec_IntSize(vTfi); in Sfm_DecExtract() 1603 Abc_NtkDfsOne_rec( pObj, vTfi, nLevelMin, SFM_MASK_INPUT ); in Sfm_DecExtract() 1605 Abc_NtkForEachObjVecStart( vTfi, pNtk, pObj, i, nTfiSize ) in Sfm_DecExtract() 1615 Abc_NtkForEachObjVec( vTfi, pNtk, pObj, i ) in Sfm_DecExtract() 1622 Abc_NtkForEachObjVec( vTfi, pNtk, pObj, i ) in Sfm_DecExtract() [all …]
|