Searched refs:fRefined (Results 1 – 8 of 8) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswSweep.c | 286 p->fRefined = 0; in Ssw_ManSweepBmc()
297 p->fRefined |= Ssw_ManSweepNode( p, pObj, f, 1, NULL ); in Ssw_ManSweepBmc()
305 p->fRefined |= Ssw_ManSweepNode( p, pObj, f, 1, NULL ); in Ssw_ManSweepBmc()
327 return p->fRefined; in Ssw_ManSweepBmc()
411 p->fRefined = 0; in Ssw_ManSweep()
421 p->fRefined |= Ssw_ManSweepNode( p, pObj, f, 0, vObjPairs ); in Ssw_ManSweep()
426 p->fRefined |= Ssw_ManSweepNode( p, pObj, f, 0, vObjPairs ); in Ssw_ManSweep()
436 if ( p->pPars->fEquivDump2 && !p->fRefined ) in Ssw_ManSweep()
439 return p->fRefined; in Ssw_ManSweep()
|
| H A D | sswLcorr.c | 200 p->fRefined = 1; in Ssw_ManSweepLatchOne()
214 p->fRefined = 1; in Ssw_ManSweepLatchOne()
222 p->fRefined = 1; in Ssw_ManSweepLatchOne()
276 p->fRefined = 0; in Ssw_ManSweepLatch()
329 return p->fRefined; in Ssw_ManSweepLatch()
|
| H A D | sswConstr.c | 450 p->fRefined = 0; in Ssw_ManSweepBmcConstr_old()
462 p->fRefined |= Ssw_ManSweepNodeConstr( p, pObj, f, 1 ); in Ssw_ManSweepBmcConstr_old()
484 return p->fRefined; in Ssw_ManSweepBmcConstr_old()
512 p->fRefined = 0; in Ssw_ManSweepBmcConstr()
539 p->fRefined |= Ssw_ManSweepNodeConstr( p, pObj, f, 1 ); in Ssw_ManSweepBmcConstr()
545 p->fRefined |= Ssw_ManSweepNodeConstr( p, pObj, f, 1 ); in Ssw_ManSweepBmcConstr()
566 return p->fRefined; in Ssw_ManSweepBmcConstr()
689 p->fRefined = 0; in Ssw_ManSweepConstr()
698 p->fRefined |= Ssw_ManSweepNodeConstr( p, pObj, f, 0 ); in Ssw_ManSweepConstr()
703 p->fRefined |= Ssw_ManSweepNodeConstr( p, pObj, f, 0 ); in Ssw_ManSweepConstr()
[all …]
|
| H A D | sswDyn.c | 403 p->fRefined = 0; in Ssw_ManSweepDyn()
415 p->fRefined |= Ssw_ManSweepNode( p, pObj, f, 0, NULL ); in Ssw_ManSweepDyn()
420 p->fRefined |= Ssw_ManSweepNode( p, pObj, f, 0, NULL ); in Ssw_ManSweepDyn()
483 return p->fRefined; in Ssw_ManSweepDyn()
|
| H A D | sswInt.h | 63 int fRefined; // is set to 1 when refinement happens member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaIso.c | 303 int fRefined = 0; in Gia_IsoSort() local
327 fRefined = 1; in Gia_IsoSort()
372 return fRefined; in Gia_IsoSort()
726 int fRefined, fRefinedAll; in Gia_IsoDeriveEquivPos() local
745 for ( c = 0; i < nIterMax && c < nFixedPoint+1; i++, c = fRefined ? 0 : c+1 ) in Gia_IsoDeriveEquivPos()
766 fRefinedAll |= fRefined; in Gia_IsoDeriveEquivPos()
774 fRefinedAll |= fRefined; in Gia_IsoDeriveEquivPos()
789 for ( c = 0; i < nIterMax && c < nFixedPoint; i++, c = fRefined ? 0 : c+1 ) in Gia_IsoDeriveEquivPos()
795 fRefinedAll |= fRefined; in Gia_IsoDeriveEquivPos()
797 for ( c = 0; i < nIterMax && c < nFixedPoint; i++, c = fRefined ? 0 : c+1 ) in Gia_IsoDeriveEquivPos()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrIncr.c | 450 int fRefined = 0; in IPdr_ManSolveInt() local
597 fRefined = 1; in IPdr_ManSolveInt()
635 if ( fRefined ) in IPdr_ManSolveInt()
662 if ( p->pPars->fUseAbs && p->vAbsFlops && !fRefined ) in IPdr_ManSolveInt()
673 Pdr_ManPrintProgress( p, !fRefined, Abc_Clock() - clkStart ); in IPdr_ManSolveInt()
674 if ( fRefined ) in IPdr_ManSolveInt()
|
| H A D | pdrCore.c | 1066 int fRefined = 0; in Pdr_ManSolveInt() local
1213 fRefined = 1; in Pdr_ManSolveInt()
1248 if ( fRefined ) in Pdr_ManSolveInt()
1266 if ( p->pPars->fUseAbs && p->vAbsFlops && !fRefined ) in Pdr_ManSolveInt()
1274 Pdr_ManPrintProgress( p, !fRefined, Abc_Clock() - clkStart ); in Pdr_ManSolveInt()
1275 if ( fRefined ) in Pdr_ManSolveInt()
|