Home
last modified time | relevance | path

Searched refs:pObjRi (Results 1 – 25 of 30) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaScl.c203 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 DgiaCex.c50 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 DgiaGlitch.c121 #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 DgiaRetime.c124 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 DgiaCone.c430 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 DgiaSim2.c254 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 DgiaEnable.c363 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 DgiaRex.c48 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 DgiaEmbed.c176 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 DbmcCexCut.c241 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 DbmcCexMin2.c74 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 DbmcCexDepth.c131 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 DbmcCexCare.c130 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 DbmcCexTools.c141 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 DbmcChain.c113 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 DbmcInse.c234 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 DbmcUnroll.c441 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 DsaigDup.c283 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 DabsOut.c254 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 DabsOldCex.c68 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 Dllb4Cex.c209 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 Dint2Bmc.c49 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 DwlcAbs.c325 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 DcecCorr.c1070 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 DaigUtil.c1328 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()

12