/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaScl.c | 203 Gia_Obj_t * pObjRi, * pObjRo; in Gia_ManReduceEquiv() local 206 Gia_ManForEachRi( p, pObjRi, i ) in Gia_ManReduceEquiv() 207 Gia_ObjFanin0(pObjRi)->Value = 0; in Gia_ManReduceEquiv() 208 Gia_ManForEachRi( p, pObjRi, i ) in Gia_ManReduceEquiv() 209 if ( Gia_ObjFanin0(pObjRi)->Value == 0 ) in Gia_ManReduceEquiv() 210 Gia_ObjFanin0(pObjRi)->Value = 2*nFanins++; in Gia_ManReduceEquiv() 213 Gia_ManForEachRiRo( p, pObjRi, pObjRo, i ) in Gia_ManReduceEquiv() 215 iLit = Gia_ObjFanin0Copy( pObjRi ); in Gia_ManReduceEquiv() 216 if ( Gia_ObjFaninId0p(p, pObjRi) == 0 && Gia_ObjFaninC0(pObjRi) == 0 ) // const 0 in Gia_ManReduceEquiv()
|
H A D | giaCex.c | 50 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Gia_ManVerifyCex() local 68 pObjRo->fMark0 = pObjRi->fMark0; in Gia_ManVerifyCex() 93 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Gia_ManFindFailedPoCex() local 110 pObjRo->fMark0 = pObjRi->fMark0; in Gia_ManFindFailedPoCex() 141 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Gia_ManSetFailedPoCex() local 159 pObjRo->fMark0 = pObjRi->fMark0; in Gia_ManSetFailedPoCex() 190 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Gia_ManCounterExampleValueStart() local 309 Gia_Obj_t * pObj, * pObjRo, * pObjRi; in Gia_ManCexExtendToIncludeCurrentStates() local 319 Gia_ManForEachRi( p, pObjRi, k ) in Gia_ManCexExtendToIncludeCurrentStates() 356 Gia_Obj_t * pObj, * pObjRo, * pObjRi; in Gia_ManCexExtendToIncludeAllObjects() local [all …]
|
H A D | giaGlitch.c | 121 #define Gli_ManForEachRiRo( p, pObjRi, pObjRo, i ) \ argument 122 …for ( i = 0; (i < Gli_ManRegNum(p)) && ((pObjRi) = Gli_ManCo(p, Gli_ManPoNum(p)+i)) && ((pObjRo) =… 637 Gli_Obj_t * pObj, * pObjRi, * pObjRo; in Gli_ManSimulateSeqPref() local 654 Gli_ManForEachRiRo( p, pObjRi, pObjRo, i ) in Gli_ManSimulateSeqPref() 655 pObjRo->uSimInfo = pObjRi->uSimInfo; in Gli_ManSimulateSeqPref() 698 Gli_Obj_t * pObj, * pObjRi; in Gli_ManSetPiRandomSeq() local 717 Gli_ManForEachRiRo( p, pObjRi, pObj, i ) in Gli_ManSetPiRandomSeq() 718 if ( pObjRi->fPhase != pObj->fPhase ) in Gli_ManSetPiRandomSeq()
|
H A D | giaRetime.c | 124 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Gia_ManRetimeDupForward() local 150 Gia_ManForEachRiRo( p, pObjRi, pObjRo, i ) in Gia_ManRetimeDupForward() 151 pObjRo->Value = pObjRi->Value; in Gia_ManRetimeDupForward()
|
H A D | giaCone.c | 430 Gia_Obj_t * pObj, * pObjRi; in Gia_ManDeriveSigns() local 456 Gia_ManForEachRiRo( p, pObjRi, pObj, i ) in Gia_ManDeriveSigns() 459 … *Vec_WrdEntryP( vSigns, Gia_ObjId(p, pObj) ) |= Vec_WrdEntry(vSigns, Gia_ObjId(p, pObjRi)); in Gia_ManDeriveSigns()
|
H A D | giaSim2.c | 254 Gia_Obj_t * pObjRo, * pObjRi; in Gia_Sim2InfoTransfer() local 257 Gia_ManForEachRiRo( p->pAig, pObjRi, pObjRo, i ) in Gia_Sim2InfoTransfer() 260 pInfo1 = Gia_Sim2Data( p, Gia_ObjValue(pObjRi) ); in Gia_Sim2InfoTransfer()
|
H A D | giaEnable.c | 363 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Gia_ManUnrollInit() local 385 Gia_ManForEachRiRo( p, pObjRi, pObjRo, i ) in Gia_ManUnrollInit() 386 Gia_ObjSetCopyF( p, f+1, pObjRo, Gia_ObjCopyF(p, f, pObjRi) ); in Gia_ManUnrollInit()
|
H A D | giaRex.c | 48 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Gia_ManAutomSimulate() local 66 Gia_ManForEachRiRo( p, pObjRi, pObjRo, k ) in Gia_ManAutomSimulate() 67 pObjRo->fMark0 = pObjRi->fMark0; in Gia_ManAutomSimulate()
|
H A D | giaEmbed.c | 176 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Emb_ManStartSimple() local 252 Gia_ManForEachRiRo( pGia, pObjRi, pObjRo, i ) in Emb_ManStartSimple() 253 Emb_ObjAddFanin( Emb_ManObj(p,Gia_ObjValue(pObjRo)), Emb_ManObj(p,Gia_ObjValue(pObjRi)) ); in Emb_ManStartSimple() 497 Gia_Obj_t * pObj, * pObjRi, * pObjRo, * pFanin; in Emb_ManStart() local 589 Gia_ManForEachRiRo( pGia, pObjRi, pObjRo, i ) in Emb_ManStart() 590 Emb_ObjAddFanin( Emb_ManObj(p,Gia_ObjValue(pObjRo)), Emb_ManObj(p,Gia_ObjValue(pObjRi)) ); in Emb_ManStart()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcCexCut.c | 241 Gia_Obj_t * pObj, * pObjRo, * pObjRi; in Bmc_GiaGenerateGiaAllFrames() local 264 Gia_ManForEachRiRo( p, pObjRi, pObjRo, k ) in Bmc_GiaGenerateGiaAllFrames() 265 pObjRo->fMark0 = pObjRi->fMark0; in Bmc_GiaGenerateGiaAllFrames() 302 pObjRo->fMark0 = pObjRi->fMark0; in Bmc_GiaGenerateGiaAllFrames() 337 pObjRo->fMark0 = pObjRi->fMark0; in Bmc_GiaGenerateGiaAllFrames() 338 pObjRo->Value = pObjRi->Value; in Bmc_GiaGenerateGiaAllFrames() 368 Gia_Obj_t * pObj, * pObjRo, * pObjRi; in Bmc_GiaGenerateGiaAllOne() local 391 Gia_ManForEachRiRo( p, pObjRi, pObjRo, k ) in Bmc_GiaGenerateGiaAllOne() 392 pObjRo->fMark0 = pObjRi->fMark0; in Bmc_GiaGenerateGiaAllOne() 435 pObjRo->fMark0 = pObjRi->fMark0; in Bmc_GiaGenerateGiaAllOne() [all …]
|
H A D | bmcCexMin2.c | 74 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Gia_ManAnnotateUnrolling() local 95 Gia_ManForEachRiRo( p, pObjRi, pObjRo, k ) in Gia_ManAnnotateUnrolling() 96 if ( (pObjRo->fMark0 = pObjRi->fMark0) ) in Gia_ManAnnotateUnrolling() 161 Gia_ManForEachRiRo( p, pObjRi, pObjRo, k ) in Gia_ManAnnotateUnrolling() 162 if ( (pObjRi->fMark0 = pObjRo->fMark0) ) in Gia_ManAnnotateUnrolling() 165 Gia_ManAddTwo( p, f-1, pObjRi, 2 ); in Gia_ManAnnotateUnrolling() 186 Gia_Obj_t * pObj, * pObjRo, * pObjRi; in Gia_ManCreateUnate() local 290 Gia_ManForEachRiRo( p, pObjRi, pObjRo, k ) in Gia_ManCreateUnate() 291 pObjRo->Value = pObjRi->Value; in Gia_ManCreateUnate()
|
H A D | bmcCexDepth.c | 131 Gia_Obj_t * pObj, * pObjRo, * pObjRi; in Bmc_CexBuildNetwork2() local 164 Gia_ManForEachRiRo( p, pObjRi, pObjRo, k ) in Bmc_CexBuildNetwork2() 166 pObjRo->fMark0 = pObjRi->fMark0; in Bmc_CexBuildNetwork2() 167 pObjRo->fMark1 = pObjRi->fMark1; in Bmc_CexBuildNetwork2() 168 pObjRo->Value = pObjRi->Value; in Bmc_CexBuildNetwork2() 223 Gia_Obj_t * pObj, * pObjRo, * pObjRi; in Bmc_CexBuildNetwork2_() local 253 Gia_ManForEachRiRo( p, pObjRi, pObjRo, k ) in Bmc_CexBuildNetwork2_() 255 pObjRo->fMark0 = pObjRi->fMark0; in Bmc_CexBuildNetwork2_() 256 pObjRo->Value = pObjRi->Value; in Bmc_CexBuildNetwork2_()
|
H A D | bmcCexCare.c | 130 Gia_Obj_t * pObjRo, * pObjRi; in Bmc_CexCarePropagateFwd() local 133 Gia_ManForEachRi( p, pObjRi, i ) in Bmc_CexCarePropagateFwd() 134 pObjRi->Value = ValueMax; in Bmc_CexCarePropagateFwd() 138 Gia_ManForEachRiRo( p, pObjRi, pObjRo, i ) in Bmc_CexCarePropagateFwd() 139 Vec_IntPush( vPriosFf, (pObjRo->Value = pObjRi->Value) ); in Bmc_CexCarePropagateFwd() 209 Gia_Obj_t * pObjRo, * pObjRi; in Bmc_CexCarePropagateBwd() local 214 Gia_ManForEachCo( p, pObjRi, i ) in Bmc_CexCarePropagateBwd() 215 pObjRi->fPhase = 0; in Bmc_CexCarePropagateBwd() 223 Gia_ManForEachRiRo( p, pObjRi, pObjRo, i ) in Bmc_CexCarePropagateBwd() 224 pObjRi->fPhase = pObjRo->fPhase; in Bmc_CexCarePropagateBwd()
|
H A D | bmcCexTools.c | 141 Gia_Obj_t * pObj, * pObjRo, * pObjRi; in Bmc_CexPerformUnrolling() local 156 pObjRo->Value = pObjRi->Value; in Bmc_CexPerformUnrolling() 198 Gia_Obj_t * pObj, * pObjRo, * pObjRi; in Bmc_CexBuildNetwork() local 228 pObjRo->fMark0 = pObjRi->fMark0; in Bmc_CexBuildNetwork() 229 pObjRo->fMark1 = pObjRi->fMark1; in Bmc_CexBuildNetwork() 230 pObjRo->Value = pObjRi->Value; in Bmc_CexBuildNetwork() 391 Gia_Obj_t * pObj, * pObjRo, * pObjRi; in Bmc_CexInnerStates() local 409 Gia_ManForEachRi( p, pObjRi, k ) in Bmc_CexInnerStates() 411 pObjRi->fMark0 = 0; in Bmc_CexInnerStates() 412 pObjRi->fMark1 = 1; in Bmc_CexInnerStates() [all …]
|
H A D | bmcChain.c | 113 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Gia_ManVerifyCexAndMove() local 129 Gia_ManForEachRiRo( pGia, pObjRi, pObjRo, k ) in Gia_ManVerifyCexAndMove() 130 pObjRo->fMark0 = pObjRi->fMark0; in Gia_ManVerifyCexAndMove() 140 Gia_ManForEachRiRo( pGia, pObjRi, pObjRo, k ) in Gia_ManVerifyCexAndMove() 141 pObjRi->fMark0 = pObjRo->fMark0; in Gia_ManVerifyCexAndMove()
|
H A D | bmcInse.c | 234 Gia_Obj_t * pObj, * pObjRo, * pObjRi; in Gia_ManInseSimulate() local 252 Gia_ManForEachRiRo( p, pObjRi, pObjRo, i ) in Gia_ManInseSimulate() 253 pObjRo->fMark0 = pObjRi->fMark0; in Gia_ManInseSimulate()
|
H A D | bmcUnroll.c | 441 Gia_Obj_t * pObj, * pObjRi; in Unr_ManUnrollSimple() local 453 Gia_ManForEachRiRo( pGia, pObjRi, pObj, i ) in Unr_ManUnrollSimple() 454 pObj->Value = pObjRi->Value; in Unr_ManUnrollSimple()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigDup.c | 283 Aig_Obj_t * pObj, * pObjRi, * pObjRo; in Saig_ManVerifyCex() local 300 Saig_ManForEachLiLo( pAig, pObjRi, pObjRo, k ) in Saig_ManVerifyCex() 301 pObjRo->fMarkB = pObjRi->fMarkB; in Saig_ManVerifyCex() 322 Aig_Obj_t * pObj, * pObjRi, * pObjRo; in Saig_ManVerifyCexNoClear() local 339 Saig_ManForEachLiLo( pAig, pObjRi, pObjRo, k ) in Saig_ManVerifyCexNoClear() 340 pObjRo->fMarkB = pObjRi->fMarkB; in Saig_ManVerifyCexNoClear() 387 Aig_Obj_t * pObj, * pObjRi, * pObjRo; in Saig_ManExtendCex() local 414 Saig_ManForEachLiLo( pAig, pObjRi, pObjRo, k ) in Saig_ManExtendCex() 415 pObjRo->fMarkB = pObjRi->fMarkB; in Saig_ManExtendCex() 438 Aig_Obj_t * pObj, * pObjRi, * pObjRo; in Saig_ManFindFailedPoCex() local [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absOut.c | 254 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Gia_ManGetStateAndCheckCex() local 276 Gia_ManForEachRiRo( pAig, pObjRi, pObjRo, k ) in Gia_ManGetStateAndCheckCex() 277 pObjRo->fMark0 = pObjRi->fMark0; in Gia_ManGetStateAndCheckCex() 300 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Gia_ManCheckCex() local 317 Gia_ManForEachRiRo( pAig, pObjRi, pObjRo, k ) in Gia_ManCheckCex() 318 pObjRo->fMark0 = pObjRi->fMark0; in Gia_ManCheckCex()
|
H A D | absOldCex.c | 68 Aig_Obj_t * pObj, * pObjRi, * pObjRo; in Saig_ManCbaFilterFlops() local 99 Saig_ManForEachLiLo( pAig, pObjRi, pObjRo, k ) in Saig_ManCbaFilterFlops() 100 pObjRo->fMarkB = pObjRi->fMarkB; in Saig_ManCbaFilterFlops() 649 Aig_Obj_t * pObj, * pObjRi, * pObjRo; in Saig_ManCexVerifyUsingTernary() local 697 Saig_ManForEachLiLo( pAig, pObjRi, pObjRo, i ) in Saig_ManCexVerifyUsingTernary() 698 pObjRo->fMarkA = pObjRi->fMarkA, in Saig_ManCexVerifyUsingTernary() 699 pObjRo->fMarkB = pObjRi->fMarkB; in Saig_ManCexVerifyUsingTernary()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
H A D | llb4Cex.c | 209 Aig_Obj_t * pObj, * pObjRi, * pObjRo; in Llb4_Nonlin4VerifyCex() local 237 Saig_ManForEachLiLo( pAig, pObjRi, pObjRo, k ) in Llb4_Nonlin4VerifyCex() 238 pObjRo->fMarkB = pObjRi->fMarkB; in Llb4_Nonlin4VerifyCex()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int2/ |
H A D | int2Bmc.c | 49 Gia_Obj_t * pObj, * pObjRi, * pObjRo; in Int2_ManDupInit() local 67 Gia_ManForEachRiRo( p, pObjRi, pObjRo, i ) in Int2_ManDupInit() 68 … Gia_ManAppendCo( pNew, Gia_ManHashMux( pNew, iCtrl, pObjRo->Value, Gia_ObjFanin0Copy(pObjRi) ) ); in Int2_ManDupInit()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlcAbs.c | 325 Gia_Obj_t * pObj, * pObjRi; in Wlc_NtkUnrollWoCex() local 349 Gia_ManForEachRiRo( pGiaChoice, pObjRi, pObj, i ) in Wlc_NtkUnrollWoCex() 350 pObj->Value = pObjRi->Value; in Wlc_NtkUnrollWoCex() 374 Gia_Obj_t * pObj, * pObjRi; in Wlc_NtkUnrollWithCex() local 417 Gia_ManForEachRiRo( pGiaChoice, pObjRi, pObj, i ) in Wlc_NtkUnrollWithCex() 418 pObj->Value = pObjRi->Value; in Wlc_NtkUnrollWithCex() 565 Gia_Obj_t * pObj, * pObjRi; in Wlc_NtkCexIsReal() local 579 Gia_ManForEachRiRo( pGiaOrig, pObjRi, pObj, i ) in Wlc_NtkCexIsReal() 580 pObj->Value = pObjRi->Value; in Wlc_NtkCexIsReal()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecCorr.c | 1070 Gia_Obj_t * pObj, * pObjRo, * pObjRi; in Cec_ManComputeInitState() local 1087 Gia_ManForEachRiRo( pAig, pObjRi, pObjRo, i ) in Cec_ManComputeInitState() 1088 pObjRo->fMark1 = pObjRi->fMark1; in Cec_ManComputeInitState()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigUtil.c | 1328 Aig_Obj_t * pObj, * pObjRi, * pObjRo; in Aig_ManCounterExampleValueStart() local 1365 Saig_ManForEachLiLo( pAig, pObjRi, pObjRo, k ) in Aig_ManCounterExampleValueStart() 1366 if ( Abc_InfoHasBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjId(pObjRi) ) ) in Aig_ManCounterExampleValueStart()
|