Home
last modified time | relevance | path

Searched refs:vTfi (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbUtil.c143 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 DacbMfs.c747 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 DsfmDec.c1424 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 …]