/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() argument 58 int TfoStart = Vec_IntSize(vWinObjs) - Vec_IntSize(vTfo); in Sbd_ManSatSolver() 60 int LastVar = Vec_IntSize(vWinObjs) + Vec_IntSize(vTfo) + Vec_IntSize(vRoots); in Sbd_ManSatSolver() 69 …sat_solver_setnvars( pSat, Vec_IntSize(vWinObjs) + Vec_IntSize(vTfo) + Vec_IntSize(vRoots) + SBD_F… in Sbd_ManSatSolver() 100 Node = Vec_IntEntry( vObj2Var, iObj ) + Vec_IntSize(vTfo); in Sbd_ManSatSolver() 107 Fan0 = Fan0 < TfoStart ? Fan0 : Fan0 + Vec_IntSize(vTfo); in Sbd_ManSatSolver() 108 Fan1 = Fan1 < TfoStart ? Fan1 : Fan1 + Vec_IntSize(vTfo); in Sbd_ManSatSolver() 124 int nVars = Vec_IntSize(vWinObjs) + Vec_IntSize(vTfo); in Sbd_ManSatSolver() 131 sat_solver_add_xor( pSat, Node, Node + Vec_IntSize(vTfo), nVars++, 0 ); in Sbd_ManSatSolver() 369 …sat_solver * pSat = Sbd_ManSatSolver( NULL, p, vMirrors, Pivot, vWinObjs, vObj2Var, vTfo, vRoots, … in Sbd_ManSolveSelect() [all …]
|
H A D | sbdInt.h | 105 …rrors, int Pivot, Vec_Int_t * vWinObjs, Vec_Int_t * vObj2Var, Vec_Int_t * vTfo, Vec_Int_t * vRoots… 114 Vec_Int_t * vTfo, Vec_Int_t * vRoots,
|
H A D | sbdLut.c | 189 Vec_Int_t * vTfo, Vec_Int_t * vRoots, in Sbd_ProblemSolve() argument 192 …rrors, int Pivot, Vec_Int_t * vWinObjs, Vec_Int_t * vObj2Var, Vec_Int_t * vTfo, Vec_Int_t * vRoots… in Sbd_ProblemSolve() 197 …sat_solver * pSatCec = Sbd_ManSatSolver( NULL, p, vMirrors, Pivot, vWinObjs, vObj2Var, vTfo, vRoot… in Sbd_ProblemSolve() 203 int VarCecOut = Vec_IntSize(vWinObjs) + Vec_IntSize(vTfo) + Vec_IntSize(vRoots); in Sbd_ProblemSolve()
|
H A D | sbdCore.c | 64 Vec_Int_t * vTfo; // TFO (excludes node, includes roots) - precomputed member 450 p->vTfo = Vec_WecEntry( p->vTfos, Pivot ); in Sbd_ManWindow() 472 Vec_IntForEachEntry( p->vTfo, Node, i ) in Sbd_ManWindow() 482 Vec_IntForEachEntry( p->vTfo, Node, i ) in Sbd_ManWindow() 494 if ( Vec_IntSize(p->vTfo) == 0 ) in Sbd_ManWindow() 498 Vec_IntForEachEntry( p->vTfo, Node, i ) in Sbd_ManWindow() 529 …SatSolver( p->pSat, p->pGia, p->vMirrors, Pivot, p->vWinObjs, p->vObj2Var, p->vTfo, p->vRoots, 0 ); in Sbd_ManCheckConst() 1020 int FreeVar = Vec_IntSize(p->vWinObjs) + Vec_IntSize(p->vTfo) + Vec_IntSize(p->vRoots); in Sbd_ManExplore() 1179 int FreeVar = Vec_IntSize(p->vWinObjs) + Vec_IntSize(p->vTfo) + Vec_IntSize(p->vRoots); in Sbd_ManExplore2() 1186 …SatSolver( p->pSat, p->pGia, p->vMirrors, Pivot, p->vWinObjs, p->vObj2Var, p->vTfo, p->vRoots, 0 ); in Sbd_ManExplore2() [all …]
|
/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() argument 248 Vec_IntPush( vTfo, iNode ); in Sfm_NtkComputeRoots_rec() 254 Sfm_NtkComputeRoots_rec( p, iFanout, nLevelMax, vRoots, vTfo ); in Sfm_NtkComputeRoots_rec() 350 Vec_IntClear( p->vTfo ); // roots in Sfm_NtkCreateWindow() 410 …NtkComputeRoots_rec( p, iNode, Sfm_ObjLevel(p, iNode) + p->pPars->nTfoLevMax, p->vRoots, p->vTfo ); in Sfm_NtkCreateWindow() 412 assert( Vec_IntSize(p->vTfo) > 0 ); in Sfm_NtkCreateWindow() 419 Vec_IntClear( p->vTfo ); in Sfm_NtkCreateWindow() 424 Vec_IntForEachEntry( p->vTfo, iTemp, i ) in Sfm_NtkCreateWindow() 428 Vec_IntClear( p->vTfo ); in Sfm_NtkCreateWindow() 437 Vec_IntClear( p->vTfo ); in Sfm_NtkCreateWindow()
|
H A D | sfmSat.c | 66 …sat_solver_setnvars( p->pSat, 1 + Vec_IntSize(p->vOrder) + Vec_IntSize(p->vTfo) + Vec_IntSize(p->v… in Sfm_NtkWindowToSolver() 98 if ( Vec_IntSize(p->vTfo) > 0 ) in Sfm_NtkWindowToSolver() 102 assert( Vec_IntEntry(p->vTfo, 0) != p->iPivotNode ); in Sfm_NtkWindowToSolver() 108 Vec_IntForEachEntry( p->vTfo, iNode, i ) in Sfm_NtkWindowToSolver() 114 Vec_IntForEachEntry( p->vTfo, iNode, i ) in Sfm_NtkWindowToSolver()
|
H A D | sfmDec.c | 1413 Vec_IntPush( vTfo, Abc_ObjId(pObj) ); in Abc_NtkDfsReverseOne_rec() 1577 Vec_IntClear( vTfo ); in Sfm_DecExtract() 1579 Abc_NtkDfsReverseOne_rec( pPivot, vTfo, nLevelMax, pPars->nFanoutMax ); in Sfm_DecExtract() 1581 Abc_NtkForEachObjVec( vTfo, pNtk, pObj, i ) in Sfm_DecExtract() 1586 Abc_NtkForEachObjVec( vTfo, pNtk, pObj, i ) in Sfm_DecExtract() 1629 Vec_IntClear( vTfo ); in Sfm_DecExtract() 1630 Vec_IntAppend( vTfo, vMap ); in Sfm_DecExtract() 1635 Abc_NtkForEachObjVec( vTfo, pNtk, pObj, i ) in Sfm_DecExtract() 1644 Vec_IntClear( vTfo ); in Sfm_DecExtract() 1645 Vec_IntAppend( vTfo, vMap ); in Sfm_DecExtract() [all …]
|
H A D | sfmNtk.c | 203 p->vTfo = Vec_IntAlloc( 1000 ); in Sfm_NtkPrepare() 239 Vec_IntFreeP( &p->vTfo ); in Sfm_NtkFree()
|
H A D | sfmInt.h | 105 Vec_Int_t * vTfo; // TFO (excluding iNode) member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbUtil.c | 122 Vec_IntForEachEntryReverse( vTfo, iObj, i ) in Acb_NtkComputeLevelD() 155 Acb_NtkComputeLevelD( p, vTfo ); in Acb_NtkUpdateLevelD() 207 Vec_IntForEachEntry( vTfo, iObj, i ) in Acb_NtkComputePathsD() 290 Acb_NtkComputeLevelD( p, vTfo ); in Acb_NtkComputePaths() 295 Acb_NtkComputePathsD( p, vTfo, 1 ); in Acb_NtkComputePaths() 357 Vec_IntPop( vTfo ); in Acb_NtkUpdateTiming() 359 Acb_NtkComputeLevelD( p, vTfo ); in Acb_NtkUpdateTiming() 368 vTfo = Acb_ObjCollectTfo( p, -1, 1 ); in Acb_NtkUpdateTiming() 374 Acb_NtkComputePathsD( p, vTfo, 1 ); in Acb_NtkUpdateTiming() 377 Acb_NtkComputePathsR( p, vTfo, 0 ); in Acb_NtkUpdateTiming() [all …]
|
H A D | acbMfs.c | 623 Vec_IntPush( vTfo, iObj ); in Acb_ObjDeriveTfo_rec() 630 Vec_IntPush( vTfo, iObj ); in Acb_ObjDeriveTfo_rec() 641 assert( Vec_IntEntryLast(vTfo) == Pivot ); in Acb_ObjDeriveTfo() 642 Vec_IntPop( vTfo ); in Acb_ObjDeriveTfo() 644 Vec_IntReverseOrder( vTfo ); in Acb_ObjDeriveTfo() 665 Vec_IntPush( vTfo, Pivot ); in Acb_NtkCollectTfoSideInputs() 666 Vec_IntForEachEntry( vTfo, Node, i ) in Acb_NtkCollectTfoSideInputs() 668 Vec_IntForEachEntry( vTfo, Node, i ) in Acb_NtkCollectTfoSideInputs() 672 Vec_IntPop( vTfo ); in Acb_NtkCollectTfoSideInputs() 770 Vec_IntForEachEntry( vTfo, iObj, i ) in Acb_NtkCollectWindow() [all …]
|
H A D | acb.h | 1023 extern int Acb_NtkComputeLevelD( Acb_Ntk_t * p, Vec_Int_t * vTfo );
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/ |
H A D | fpgaUtils.c | 35 …rec( Fpga_Node_t * pNode, Fpga_Node_t * pPivot, Fpga_NodeVec_t * vVisited, Fpga_NodeVec_t * vTfo ); 677 Fpga_NodeVec_t * vVisited, * vTfo; in Fpga_CollectNodeTfo() local 681 vTfo = Fpga_NodeVecAlloc( 100 ); in Fpga_CollectNodeTfo() 683 Fpga_CollectNodeTfo_rec( Fpga_Regular(pMan->pOutputs[i]), pNode, vVisited, vTfo ); in Fpga_CollectNodeTfo() 687 return vTfo; in Fpga_CollectNodeTfo() 701 …_rec( Fpga_Node_t * pNode, Fpga_Node_t * pPivot, Fpga_NodeVec_t * vVisited, Fpga_NodeVec_t * vTfo ) in Fpga_CollectNodeTfo_rec() argument 724 Ret1 = Fpga_CollectNodeTfo_rec( Fpga_Regular(pNode->p1), pPivot, vVisited, vTfo ); in Fpga_CollectNodeTfo_rec() 725 Ret2 = Fpga_CollectNodeTfo_rec( Fpga_Regular(pNode->p2), pPivot, vVisited, vTfo ); in Fpga_CollectNodeTfo_rec() 729 Fpga_NodeVecPush( vTfo, pNode ); in Fpga_CollectNodeTfo_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSimBase.c | 36 Vec_Int_t * vTfo; member 464 p->vTfo = Vec_IntAlloc( 1000 ); in Gia_SimRsbAlloc() 477 Vec_IntFree( p->vTfo ); in Gia_SimRsbFree() 509 Vec_IntPush( vTfo, iObj ); in Gia_SimRsbTfo_rec() 514 Vec_IntClear( p->vTfo ); in Gia_SimRsbTfo() 517 assert( Vec_IntEntryLast(p->vTfo) == iObj ); in Gia_SimRsbTfo() 518 Vec_IntPop( p->vTfo ); in Gia_SimRsbTfo() 519 Vec_IntReverseOrder( p->vTfo ); in Gia_SimRsbTfo() 520 Vec_IntSort( p->vTfo, 0 ); in Gia_SimRsbTfo() 521 return p->vTfo; in Gia_SimRsbTfo() [all …]
|