| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbUtil.c | 116 int Acb_NtkComputeLevelD( Acb_Ntk_t * p, Vec_Int_t * vTfo ) in Acb_NtkComputeLevelD()
154 Vec_Int_t * vTfo = Acb_ObjCollectTfo( p, Pivot, 1 ); in Acb_NtkUpdateLevelD() local
185 int Acb_NtkComputePathsD( Acb_Ntk_t * p, Vec_Int_t * vTfo, int fReverse ) in Acb_NtkComputePathsD()
289 Vec_Int_t * vTfo = Acb_ObjCollectTfo( p, -1, 1 ); in Acb_NtkComputePaths() local
352 Vec_Int_t * vTfo = Acb_ObjCollectTfo( p, iObj, 1 ); in Acb_NtkUpdateTiming() local
|
| H A D | acbMfs.c | 615 void Acb_ObjDeriveTfo_rec( Acb_Ntk_t * p, int iObj, Vec_Int_t * vTfo, Vec_Int_t * vRoots, int fFirs… in Acb_ObjDeriveTfo_rec()
635 Vec_Int_t * vTfo = *pvTfo = Vec_IntAlloc( 10 ); in Acb_ObjDeriveTfo() local
660 Vec_Int_t * Acb_NtkCollectTfoSideInputs( Acb_Ntk_t * p, int Pivot, Vec_Int_t * vTfo ) in Acb_NtkCollectTfoSideInputs()
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/sbd/ |
| H A D | sbdWin.c | 54 Vec_Int_t * vTfo, Vec_Int_t * vRoots, int fQbf ) in Sbd_ManSatSolver()
365 …Vec_Int_t * vDivValues, Vec_Int_t * vWinObjs, Vec_Int_t * vObj2Var, Vec_Int_t * vTfo, Vec_Int_t * … in Sbd_ManSolveSelect()
|
| H A D | sbdLut.c | 189 Vec_Int_t * vTfo, Vec_Int_t * vRoots, in Sbd_ProblemSolve()
|
| H A D | sbdCore.c | 64 Vec_Int_t * vTfo; // TFO (excludes node, includes roots) - precomputed member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/ |
| H A D | fpgaUtils.c | 677 Fpga_NodeVec_t * vVisited, * vTfo; in Fpga_CollectNodeTfo() local
701 …_rec( Fpga_Node_t * pNode, Fpga_Node_t * pPivot, Fpga_NodeVec_t * vVisited, Fpga_NodeVec_t * vTfo ) in Fpga_CollectNodeTfo_rec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSimBase.c | 36 Vec_Int_t * vTfo; member
500 void Gia_SimRsbTfo_rec( Gia_Man_t * p, int iObj, int iFanout, Vec_Int_t * vTfo ) in Gia_SimRsbTfo_rec()
594 word * Gia_SimRsbCareSet( Gia_SimRsbMan_t * p, int iObj, Vec_Int_t * vTfo ) in Gia_SimRsbCareSet()
680 Vec_Int_t * vTfo = Gia_SimRsbTfo( p, iObj, -1 ); in Gia_ObjSimRsb() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmWin.c | 240 …tkComputeRoots_rec( Sfm_Ntk_t * p, int iNode, int nLevelMax, Vec_Int_t * vRoots, Vec_Int_t * vTfo ) in Sfm_NtkComputeRoots_rec()
|
| H A D | sfmInt.h | 105 Vec_Int_t * vTfo; // TFO (excluding iNode) member
|
| H A D | sfmDec.c | 1395 void Abc_NtkDfsReverseOne_rec( Abc_Obj_t * pObj, Vec_Int_t * vTfo, int nLevelMax, int nFanoutMax ) in Abc_NtkDfsReverseOne_rec()
1565 … * vGates, Vec_Wec_t * vFanins, Vec_Int_t * vMap, Vec_Int_t * vTfi, Vec_Int_t * vTfo, Vec_Int_t * … in Sfm_DecExtract()
|