Home
last modified time | relevance | path

Searched refs:vTfo (Results 1 – 14 of 14) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdWin.c54 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 DsbdInt.h105 …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 DsbdLut.c189 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 DsbdCore.c64 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 DsfmWin.c240 …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 DsfmSat.c66 …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 DsfmDec.c1413 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 DsfmNtk.c203 p->vTfo = Vec_IntAlloc( 1000 ); in Sfm_NtkPrepare()
239 Vec_IntFreeP( &p->vTfo ); in Sfm_NtkFree()
H A DsfmInt.h105 Vec_Int_t * vTfo; // TFO (excluding iNode) member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbUtil.c122 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 DacbMfs.c623 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 Dacb.h1023 extern int Acb_NtkComputeLevelD( Acb_Ntk_t * p, Vec_Int_t * vTfo );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/
H A DfpgaUtils.c35 …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 DgiaSimBase.c36 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 …]