Searched defs:vTfi (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbUtil.c | 137 int Acb_NtkComputeLevelR( Acb_Ntk_t * p, Vec_Int_t * vTfi ) in Acb_NtkComputeLevelR() 232 int Acb_NtkComputePathsR( Acb_Ntk_t * p, Vec_Int_t * vTfi, int fReverse ) in Acb_NtkComputePathsR() 288 Vec_Int_t * vTfi = Acb_ObjCollectTfi( p, -1, 1 ); in Acb_NtkComputePaths() local 351 Vec_Int_t * vTfi = Acb_ObjCollectTfi( p, iObj, 1 ); in Acb_NtkUpdateTiming() local
|
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() 794 Vec_Int_t * vWin, * vDivs, * vMarked, * vTfo, * vRoots, * vSide, * vTfi; in Acb_NtkWindow() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
H A D | sfmDec.c | 1416 int Abc_NtkDfsOne_rec( Abc_Obj_t * pObj, Vec_Int_t * vTfi, int nLevelMin, int CiLabel ) in Abc_NtkDfsOne_rec() 1565 … vRoots, Vec_Int_t * vGates, Vec_Wec_t * vFanins, Vec_Int_t * vMap, Vec_Int_t * vTfi, Vec_Int_t * … in Sfm_DecExtract()
|