/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecSimBack.c | 93 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 D | cecPat.c | 154 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 D | int2Refine.c | 66 …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 D | giaSat.c | 123 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 D | giaFalse.c | 62 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 D | giaUnate.c | 86 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 D | giaCex.c | 60 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 D | giaProp.c | 69 …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 D | giaIso2.c | 134 … = 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 D | giaUtil.c | 350 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 D | giaEnable.c | 148 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 D | giaTruth.c | 76 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 D | giaPat.c | 113 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 D | giaIso3.c | 52 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 D | bmcCexCut.c | 123 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 D | bmcEnum.c | 57 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 D | bmcLoad.c | 85 …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 D | bmcCexTools.c | 235 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 D | sbdSim.c | 61 … 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 D | absVta.c | 538 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 D | absRefJ.c | 162 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 D | absRef.c | 433 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 D | wlcSim.c | 69 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 D | acecPolyn.c | 317 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 D | pdrTsim2.c | 165 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()
|