Home
last modified time | relevance | path

Searched refs:Gia_ObjFaninC0 (Results 1 – 25 of 128) sorted by relevance

123456

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecSimBack.c93 return Cec_ManCheckSat2_rec( p, pFan0, !Gia_ObjFaninC0(pObj), vValues ) && in Cec_ManCheckSat2_rec()
98 if ( Gia_ObjFaninC0(pObj) == (int)pFan0->fMark0 ) // justified in Cec_ManCheckSat2_rec()
106 return Cec_ManCheckSat2_rec( p, pFan0, Gia_ObjFaninC0(pObj), vValues ); in Cec_ManCheckSat2_rec()
108 return Cec_ManCheckSat2_rec( p, pFan0, Gia_ObjFaninC0(pObj), vValues ); in Cec_ManCheckSat2_rec()
139 return Cec_ManCheckSat_rec( p, pFan0, !Gia_ObjFaninC0(pObj) ) && in Cec_ManCheckSat_rec()
144 if ( Gia_ObjFaninC0(pObj) == (int)pFan0->fMark0 ) // justified in Cec_ManCheckSat_rec()
152 return Cec_ManCheckSat_rec( p, pFan0, Gia_ObjFaninC0(pObj) ); in Cec_ManCheckSat_rec()
154 return Cec_ManCheckSat_rec( p, pFan0, Gia_ObjFaninC0(pObj) ); in Cec_ManCheckSat_rec()
H A DcecPat.c154 pObj->fMark1 = (Gia_ObjFanin0(pObj)->fMark1 ^ Gia_ObjFaninC0(pObj)) & in Cec_ManPatComputePattern_rec()
188 assert( (Gia_ObjFanin0(pObj)->fMark1 ^ Gia_ObjFaninC0(pObj)) == 0 || in Cec_ManPatComputePattern1_rec()
190 if ( (Gia_ObjFanin0(pObj)->fMark1 ^ Gia_ObjFaninC0(pObj)) == 0 ) in Cec_ManPatComputePattern1_rec()
226 assert( (Gia_ObjFanin0(pObj)->fMark1 ^ Gia_ObjFaninC0(pObj)) == 0 || in Cec_ManPatComputePattern2_rec()
261 Value = Gia_XsimAndCond( Value0, Gia_ObjFaninC0(pObj), Value1, Gia_ObjFaninC1(pObj) ); in Cec_ManPatComputePattern3_rec()
300 Value = Gia_XsimNotCond( Value, Gia_ObjFaninC0(pObj) ); in Cec_ManPatVerifyPattern()
372 assert( (Gia_ObjFanin0(pObj)->fMark1 ^ Gia_ObjFaninC0(pObj)) == 1 ); in Cec_ManPatSavePattern()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int2/
H A Dint2Refine.c66 …if ( (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) == 0 && (Gia_ObjFanin1(pObj)->fMark0 ^ G… in Int2_ManJustify_rec()
79 else if ( (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) == 0 ) in Int2_ManJustify_rec()
123 …pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) & (Gia_ObjFanin1(pObj)->fMark0… in Int2_ManRefineCube()
127 …else if ( (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) == 0 && (Gia_ObjFanin1(pObj)->fMark… in Int2_ManRefineCube()
129 else if ( (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) == 0 ) in Int2_ManRefineCube()
135 pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)); in Int2_ManRefineCube()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSat.c123 if ( pFanin->fMark0 || Gia_ObjFaninC0(pObj) ) in Gia_ManSatPartCollectSuper()
124 pLits[(*pnLits)++] = Gia_Var2Lit(Gia_ObjId(p, pFanin), Gia_ObjFaninC0(pObj)); in Gia_ManSatPartCollectSuper()
216 if ( Gia_ObjFaninC0(pObj) ) in Gia_ManSatPartCountClauses()
262 Level0 = Gia_ManSatPartCount(p, pFanin, pnLeaves, pnNodes) + Gia_ObjFaninC0(pObj); in Gia_ManSatPartCount()
315 printf( "%s%d", Gia_ObjFaninC0(pObj)?"!":"", Gia_ObjId(p,pFanin) ); in Gia_ManSatPartPrint()
318 if ( Gia_ObjFaninC0(pObj) ) in Gia_ManSatPartPrint()
320 Gia_ManSatPartPrint(p, pFanin, Step + Gia_ObjFaninC0(pObj)); in Gia_ManSatPartPrint()
321 if ( Gia_ObjFaninC0(pObj) ) in Gia_ManSatPartPrint()
H A DgiaFalse.c62 CtrlValue = Gia_ObjFaninC0(pObj1); in Gia_ManFalseRebuildOne()
196 Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 ); in Gia_ManCheckFalseOne()
199 Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 ); in Gia_ManCheckFalseOne()
212 Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 ); in Gia_ManCheckFalseOne()
215 Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 ); in Gia_ManCheckFalseOne()
384 Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 ); in Gia_ManCheckOne()
387 Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 ); in Gia_ManCheckOne()
400 Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 ); in Gia_ManCheckOne()
403 Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 ); in Gia_ManCheckOne()
409 Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 ); in Gia_ManCheckOne()
[all …]
H A DgiaUnate.c86 vUnate0 = Gia_ObjFaninC0(pObj) ? Vec_IntFlopBit(vUnate0) : vUnate0; in Gia_ManCheckUnateVec()
89 vUnate0 = Gia_ObjFaninC0(pObj) ? Vec_IntFlopBit(vUnate0) : vUnate0; in Gia_ManCheckUnateVec()
96 vUnate0 = Gia_ObjFaninC0(pObj) ? Vec_IntFlopBit(vUnate0) : vUnate0; in Gia_ManCheckUnateVec()
98 vUnate0 = Gia_ObjFaninC0(pObj) ? Vec_IntFlopBit(vUnate0) : vUnate0; in Gia_ManCheckUnateVec()
132 Res0 = ((Res0 == 1 || Res0 == 2) && Gia_ObjFaninC0(pObj)) ? Res0 ^ 3 : Res0; in Gia_ManCheckUnate_rec()
150 return ((Res == 1 || Res == 2) && Gia_ObjFaninC0(pCoObj)) ? Res ^ 3 : Res; in Gia_ManCheckUnate()
H A DgiaCex.c60 pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) & in Gia_ManVerifyCex()
63 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Gia_ManVerifyCex()
105 pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) & in Gia_ManFindFailedPoCex()
108 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Gia_ManFindFailedPoCex()
154 pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) & in Gia_ManSetFailedPoCex()
157 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Gia_ManSetFailedPoCex()
213 if ( (Val0 ^ Gia_ObjFaninC0(pObj)) & (Val1 ^ Gia_ObjFaninC1(pObj)) ) in Gia_ManCounterExampleValueStart()
220 if ( Val0 ^ Gia_ObjFaninC0(pObj) ) in Gia_ManCounterExampleValueStart()
332 …pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) & (Gia_ObjFanin1(pObj)->fMark0… in Gia_ManCexExtendToIncludeCurrentStates()
334 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Gia_ManCexExtendToIncludeCurrentStates()
[all …]
H A DgiaProp.c69 …Gia_SatObjPath0(p) && !Gia_SatPathCheckCutSat_rec( Gia_ObjFanin0(p), fCompl ^ Gia_ObjFaninC0(p) ) ) in Gia_SatPathCheckCutSat_rec()
129 …a_SatPathStart_rec( Gia_ObjFanin0(p), fDiffs + !Gia_SatObjPath0(p), fCompl ^ Gia_ObjFaninC0(p) ) && in Gia_SatPathStart_rec()
135 …ia_SatPathStart_rec( Gia_ObjFanin0(p), fDiffs + !Gia_SatObjPath0(p), fCompl ^ Gia_ObjFaninC0(p) ) ) in Gia_SatPathStart_rec()
H A DgiaIso2.c134 … = s_256Primes[pObj->Value & ISO_MASK] + s_256Primes[ISO_MASK - 10 + Gia_ObjFaninC0(pObj) + Gia_Ob… in Gia_Iso2ManPrepare()
147 …pObj->Value += (Gia_ObjFaninC0(pObj) + s_PrimeC) * Gia_ObjFanin0(pObj)->Value + (Gia_ObjFaninC1(pO… in Gia_Iso2ManPropagate()
148 …if ( Gia_ObjFaninC0(pObj) == Gia_ObjFaninC1(pObj) && Gia_ObjFanin0(pObj)->Value == Gia_ObjFanin1(p… in Gia_Iso2ManPropagate()
152 pObj->Value += (Gia_ObjFaninC0(pObj) + s_PrimeC) * Gia_ObjFanin0(pObj)->Value; in Gia_Iso2ManPropagate()
508 …if ( Gia_ObjFaninC0(pObj0) != Gia_ObjFaninC0(pObj1) || Gia_ObjFaninC1(pObj0) != Gia_ObjFaninC1(pO… in Gia_Iso2ManCheckIsoPair()
515 …if ( Gia_ObjFaninC0(pObj0) != Gia_ObjFaninC1(pObj1) || Gia_ObjFaninC1(pObj0) != Gia_ObjFaninC0(pO… in Gia_Iso2ManCheckIsoPair()
525 …if ( Gia_ObjFaninC1(pObj0) != Gia_ObjFaninC0(pObj1) || Gia_ObjFaninC0(pObj0) != Gia_ObjFaninC1(pO… in Gia_Iso2ManCheckIsoPair()
532 …if ( Gia_ObjFaninC1(pObj0) != Gia_ObjFaninC1(pObj1) || Gia_ObjFaninC0(pObj0) != Gia_ObjFaninC0(pO… in Gia_Iso2ManCheckIsoPair()
H A DgiaUtil.c350 int fPhase0 = Gia_ObjPhase(Gia_ObjFanin0(pObj)) ^ Gia_ObjFaninC0(pObj); in Gia_ObjSetPhase()
911 if ( !Gia_ObjFaninC0(pNode) || !Gia_ObjFaninC1(pNode) ) in Gia_ObjIsMuxType()
920 …turn (Gia_ObjFanin0(pNode0) == Gia_ObjFanin0(pNode1) && (Gia_ObjFaninC0(pNode0) ^ Gia_ObjFaninC0(p… in Gia_ObjIsMuxType()
955 if ( Gia_ObjFaninC0(p0) == Gia_ObjFaninC0(p1) || Gia_ObjFaninC1(p0) == Gia_ObjFaninC1(p1) ) in Gia_ObjRecognizeExor()
1002 … if ( Gia_ObjFanin0(pNode0) == Gia_ObjFanin0(pNode1) && (Gia_ObjFaninC0(pNode0) ^ Gia_ObjFaninC0(p… in Gia_ObjRecognizeMux()
1005 if ( Gia_ObjFaninC0(pNode0) ) in Gia_ObjRecognizeMux()
1021 if ( Gia_ObjFaninC0(pNode0) ) in Gia_ObjRecognizeMux()
1344 Gia_ObjFaninId0p(p, pObj), (Gia_ObjFaninC0(pObj)? "\'" : " "), in Gia_ObjPrint()
1350 Gia_ObjFaninId0p(p, pObj), (Gia_ObjFaninC0(pObj)? "\'" : " ") ); in Gia_ObjPrint()
1353 Gia_ObjFaninId0p(p, pObj), (Gia_ObjFaninC0(pObj)? "\'" : " "), in Gia_ObjPrint()
[all …]
H A DgiaEnable.c148 if ( Gia_ObjFaninC0(pFlop) ) in Gia_ManDetectSeqSignals()
161 if ( !Gia_ObjFaninC0(pFlop) ) in Gia_ManDetectSeqSignals()
243 if ( Gia_ObjFaninC0(pFlop) ) in Gia_ManDetectSeqSignalsWithFanout()
256 if ( !Gia_ObjFaninC0(pFlop) ) in Gia_ManDetectSeqSignalsWithFanout()
469 if ( !Gia_ObjFaninC0(pFlopIn) ) in Gia_ManRemoveEnables2()
527 fCompl = Gia_ObjFaninC0(pFlopIn); in Gia_ManRemoveEnables()
537 if ( !Gia_ObjFaninC0(pDriver) || !Gia_ObjFaninC1(pDriver) ) in Gia_ManRemoveEnables()
H A DgiaTruth.c76 Truth0 = Gia_ObjFaninC0(pObj) ? ~Truth0 : Truth0; in Gia_LutComputeTruth6Simple_rec()
85 return Gia_ObjFaninC0(pObj) ? ~Truth : Truth; in Gia_LutComputeTruth6Simple()
111 if ( Gia_ObjFaninC0(pObj) ) in Gia_LutComputeTruth6_rec()
153 uTruth0 = Gia_ObjFaninC0(pObj) ? ~uTruth0 : uTruth0; in Gia_ObjComputeTruthTable6Lut_rec()
249 uTruth0 = Gia_ObjFaninC0(pObj) ? ~uTruth0 : uTruth0; in Gia_ObjComputeTruthTable6_rec()
353 if ( Gia_ObjFaninC0(pTemp) ) in Gia_ObjComputeTruthTable()
381 …return Gla_ObjTruthDup( p, Gla_ObjTruthFree2(p), pTruth, Gia_ObjIsCo(pObj) && Gia_ObjFaninC0(pObj)… in Gia_ObjComputeTruthTable()
518 if ( Gia_ObjFaninC0(pTemp) ) in Gia_ObjComputeTruthTableCut()
H A DgiaPat.c113 Value = Gia_XsimAndCond( Value0, Gia_ObjFaninC0(pObj), Value1, Gia_ObjFaninC1(pObj) ); in Gia_SatVerifyPattern()
117 Value = Gia_XsimNotCond( Value, Gia_ObjFaninC0(pRoot) ); in Gia_SatVerifyPattern()
H A DgiaIso3.c52 return Iso_Nodes[Gia_ObjFaninC0(pObj) + Gia_ObjFaninC1(pObj)]; in Gia_Iso3Node()
90 Gia_Iso3ComputeEdge( p, pObj, Gia_ObjFanin0(pObj), Gia_ObjFaninC0(pObj), vSign ); in Gia_Iso3Compute()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcCexCut.c123 fCompl0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_GiaGenerateJust()
153 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_GiaGenerateJust()
260 pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) & in Bmc_GiaGenerateGiaAllFrames()
263 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_GiaGenerateGiaAllFrames()
300 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_GiaGenerateGiaAllFrames()
313 fCompl0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_GiaGenerateGiaAllFrames()
329 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_GiaGenerateGiaAllFrames()
387 pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) & in Bmc_GiaGenerateGiaAllOne()
390 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_GiaGenerateGiaAllOne()
411 fCompl0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_GiaGenerateGiaAllOne()
[all …]
H A DbmcEnum.c57 fPhase0 = Gia_ObjPhase(Gia_ObjFanin0(pObj)) ^ Gia_ObjFaninC0(pObj); in Gia_ManDeriveOne()
69 fPhase0 = Gia_ObjPhase(Gia_ObjFanin0(pObj)) ^ Gia_ObjFaninC0(pObj); in Gia_ManDeriveOne()
102 fPhase0 = Gia_ObjPhase(Gia_ObjFanin0(pObj)) ^ Gia_ObjFaninC0(pObj); in Gia_ManDeriveOne()
199 …pObj->Value, Gia_ObjFanin0(pObj)->Value, Gia_ObjFanin1(pObj)->Value, Gia_ObjFaninC0(pObj), Gia_Obj… in Gia_ManDeriveOneTest()
202 Vec_IntPush( vLits, Abc_Var2Lit(Gia_ObjFanin0(pRoot)->Value, !Gia_ObjFaninC0(pRoot)) ); in Gia_ManDeriveOneTest()
H A DbmcLoad.c85 …s[1] = Abc_Var2Lit( Bmc_LoadGetSatVar(p, Gia_ObjFaninId0p(p->pGia, pObj)), !Gia_ObjFaninC0(pObj) ); in Bmc_LoadAddCnf()
92 …ts[1] = Abc_Var2Lit( Bmc_LoadGetSatVar(p, Gia_ObjFaninId0p(p->pGia, pObj)), Gia_ObjFaninC0(pObj) ); in Bmc_LoadAddCnf()
180 … Lit = Abc_Var2Lit( Bmc_LoadGetSatVar(p, Gia_ObjFaninId0p(pGia, pObj)), Gia_ObjFaninC0(pObj) ); in Bmc_LoadTest()
182 … Lit = Abc_Var2Lit( Bmc_LoadAddCnf_rec(p, Gia_ObjFaninId0p(pGia, pObj)), Gia_ObjFaninC0(pObj) ); in Bmc_LoadTest()
H A DbmcCexTools.c235 fCompl0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_CexBuildNetwork()
264 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_CexBuildNetwork()
433 fCompl0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_CexInnerStates()
448 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_CexInnerStates()
502 fCompl0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_CexCareBits_rec()
530 fCompl0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_CexCareBits2_rec()
581 fCompl0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_CexCareBits()
595 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_CexCareBits()
671 fCompl0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_CexEssentialBitOne()
880 fCompl0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Gia_ManCountCareBits()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdSim.c61 … Abc_TtCopy( Sbd_ObjSims(p, Gia_ObjFaninId0p(p, pObj)), pSims, nWords, Gia_ObjFaninC0(pObj) ); in Sbd_GiaSimRoundBack2()
75 if ( Gia_ObjFaninC0(pObj) ) Abc_TtNot( pSims0, nWords ); in Sbd_GiaSimRoundBack2()
109 return Sbd_GiaSatOne_rec( p, Gia_ObjFanin0(pObj), !Gia_ObjFaninC0(pObj), fFirst, iPat ) && in Sbd_GiaSatOne_rec()
112 return Sbd_GiaSatOne_rec( p, Gia_ObjFanin0(pObj), Gia_ObjFaninC0(pObj), fFirst, iPat ); in Sbd_GiaSatOne_rec()
250 Gia_ObjFaninC0(pObj) ^ Gia_ObjFaninC1(pObj) ); in Sbd_GiaSimRound()
253 Sbd_ObjSims(p, Gia_ObjFaninId0(pObj, i)), Gia_ObjFaninC0(pObj), in Sbd_GiaSimRound()
265 … Abc_TtCopy( pSims, Sbd_ObjSims(p, Gia_ObjFaninId0p(p, pObj)), nWords, Gia_ObjFaninC0(pObj) ); in Sbd_GiaSimRound()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsVta.c538 assert( Vta_ValIs0(pThis0, Gia_ObjFaninC0(pObj)) ); in Vta_ManSatVerify()
540 assert( Vta_ValIs1(pThis0, Gia_ObjFaninC0(pObj)) ); in Vta_ManSatVerify()
624 assert( Vta_ValIs0(pThis0, Gia_ObjFaninC0(pObj)) ); in Vta_ManRefineAbstraction()
626 assert( Vta_ValIs1(pThis0, Gia_ObjFaninC0(pObj)) ); in Vta_ManRefineAbstraction()
750 else if ( Vta_ValIs0(pThis0, Gia_ObjFaninC0(pObj)) ) in Vta_ManRefineAbstraction()
830 else if ( Vta_ValIs0(pThis0, Gia_ObjFaninC0(pObj)) ) in Vta_ManRefineAbstraction()
926 if ( Vta_ValIs0(pThis0, Gia_ObjFaninC0(pObj)) ) in Vta_ManRefineAbstraction()
928 else if ( Vta_ValIs1(pThis0, Gia_ObjFaninC0(pObj)) ) in Vta_ManRefineAbstraction()
948 if ( !Vta_ValIs1(pTop, Gia_ObjFaninC0(Gia_ManPo(p->pGia, 0))) ) in Vta_ManRefineAbstraction()
1069 return Abc_Var2Lit( Vta_ObjId(p, pThis), Gia_ObjFaninC0(pObj) ); in Vga_ManGetOutLit()
[all …]
H A DabsRefJ.c162 assert( One == (int)(Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) ); in Rf2_ObjDeriveAnd()
352 pRnm->Value = (pRnm0->Value ^ Gia_ObjFaninC0(pObj)); in Rf2_ManSensitize()
359 … pRnm->Value = (pRnm0->Value ^ Gia_ObjFaninC0(pObj)) & (pRnm1->Value ^ Gia_ObjFaninC1(pObj)); in Rf2_ManSensitize()
362 …else if ( (pRnm0->Value ^ Gia_ObjFaninC0(pObj)) == 0 && (pRnm1->Value ^ Gia_ObjFaninC1(pObj)) == 0… in Rf2_ManSensitize()
364 else if ( (pRnm0->Value ^ Gia_ObjFaninC0(pObj)) == 0 ) in Rf2_ManSensitize()
747 pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)); in Rf2_ManPropagate()
755 …pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) & (Gia_ObjFanin1(pObj)->fMark0… in Rf2_ManPropagate()
769 else if ( (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) == 0 ) in Rf2_ManPropagate()
828 pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)); in Rf2_ManBounds()
833 …pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) & (Gia_ObjFanin1(pObj)->fMark0… in Rf2_ManBounds()
[all …]
H A DabsRef.c433 pRnm->Value = (pRnm0->Value ^ Gia_ObjFaninC0(pObj)); in Rnm_ManSensitize()
440 … pRnm->Value = (pRnm0->Value ^ Gia_ObjFaninC0(pObj)) & (pRnm1->Value ^ Gia_ObjFaninC1(pObj)); in Rnm_ManSensitize()
443 …else if ( (pRnm0->Value ^ Gia_ObjFaninC0(pObj)) == 0 && (pRnm1->Value ^ Gia_ObjFaninC1(pObj)) == 0… in Rnm_ManSensitize()
445 else if ( (pRnm0->Value ^ Gia_ObjFaninC0(pObj)) == 0 ) in Rnm_ManSensitize()
517 if ( ((pRnm0->Value ^ Gia_ObjFaninC0(pFanout)) == 0 && pRnm0->fVisit) || in Rnm_ManJustifyPropFanout_rec()
519 ( ((pRnm0->Value ^ Gia_ObjFaninC0(pFanout)) == 1 && pRnm0->fVisit) && in Rnm_ManJustifyPropFanout_rec()
579 … if ( (pRnm0->Value ^ Gia_ObjFaninC0(pObj)) == 0 && (pRnm1->Value ^ Gia_ObjFaninC1(pObj)) == 0 ) in Rnm_ManJustify_rec()
592 else if ( (pRnm0->Value ^ Gia_ObjFaninC0(pObj)) == 0 ) in Rnm_ManJustify_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcSim.c69 if ( Gia_ObjFaninC0(pObj) ) in Wlc_ObjSimCo()
83 if ( Gia_ObjFaninC0(pObj) && Gia_ObjFaninC1(pObj) ) in Wlc_ObjSimAnd()
86 else if ( Gia_ObjFaninC0(pObj) && !Gia_ObjFaninC1(pObj) ) in Wlc_ObjSimAnd()
89 else if ( !Gia_ObjFaninC0(pObj) && Gia_ObjFaninC1(pObj) ) in Wlc_ObjSimAnd()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecPolyn.c317 else if ( Gia_ObjFaninC0(pObj) && Gia_ObjFaninC1(pObj) ) // C * (1 - x) * (1 - y) in Gia_PolynBuildOne()
327 else if ( Gia_ObjFaninC0(pObj) && !Gia_ObjFaninC1(pObj) ) // C * (1 - x) * y in Gia_PolynBuildOne()
332 else if ( !Gia_ObjFaninC0(pObj) && Gia_ObjFaninC1(pObj) ) // C * x * (1 - y) in Gia_PolynBuildOne()
357 if ( Gia_ObjFaninC0(pObj) ) in Gia_PolynBuild()
367 if ( Gia_ObjFaninC0(pObj) ) in Gia_PolynBuild()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrTsim2.c165 value0 = pFan0->fMark0 ^ Gia_ObjFaninC0(pObj); in Txs_ManForwardPass()
182 pObj->fMark0 = (pFan0->fMark0 ^ Gia_ObjFaninC0(pObj)); in Txs_ManForwardPass()
203 int value0 = pFan0->fMark0 ^ Gia_ObjFaninC0(pObj); in Txs_ObjIsJust()
233 value0 = pFan0->fMark0 ^ Gia_ObjFaninC0(pObj); in Txs_ManBackwardPass()
309 value0 = pFan0->fMark0 ^ Gia_ObjFaninC0(pObj); in Txs_ManSelectJustPath()
360 value0 = pFan0->fMark0 ^ Gia_ObjFaninC0(pObj); in Txs_ManPropagatePrio()

123456