/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigObj.c | 136 assert( Aig_ObjFanin0(pObj)->Type > 0 ); in Aig_ObjConnect() 137 Aig_ObjRef( Aig_ObjFanin0(pObj) ); in Aig_ObjConnect() 139 Aig_ObjAddFanout( p, Aig_ObjFanin0(pObj), pObj ); in Aig_ObjConnect() 179 Aig_ObjDeref(Aig_ObjFanin0(pObj)); in Aig_ObjDisconnect() 239 pFanin0 = Aig_ObjFanin0(pObj); in Aig_ObjDelete_rec() 264 Aig_ObjDeref(Aig_ObjFanin0(pObj)); in Aig_ObjDeletePo() 287 pFaninOld = Aig_ObjFanin0(pObj); in Aig_ObjPatchFanin0() 298 Aig_ObjAddFanout( p, Aig_ObjFanin0(pObj), pObj ); in Aig_ObjPatchFanin0() 299 Aig_ObjRef( Aig_ObjFanin0(pObj) ); in Aig_ObjPatchFanin0() 399 assert( Aig_ObjIsBuf(Aig_ObjFanin0(pObj)) ); in Aig_NodeFixBufferFanins() [all …]
|
H A D | aigDfs.c | 56 pNext = Aig_ObjFanin0(pObj); in Aig_ManVerifyTopoOrder() 71 pNext = Aig_ObjFanin0(pObj); in Aig_ManVerifyTopoOrder() 129 Aig_ManDfs_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Aig_ManDfs_rec() 198 Aig_ManDfsAll_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Aig_ManDfsAll_rec() 553 pNext = Aig_ObjFanin0(pObj); in Aig_ManChoiceLevel_rec() 561 pNext = Aig_ObjFanin0(pObj); in Aig_ManChoiceLevel_rec() 640 Aig_ConeMark_rec( Aig_ObjFanin0(pObj) ); in Aig_ConeMark_rec() 662 Aig_ConeCleanAndMark_rec( Aig_ObjFanin0(pObj) ); in Aig_ConeCleanAndMark_rec() 709 Aig_ConeUnmark_rec( Aig_ObjFanin0(pObj) ); in Aig_ConeUnmark_rec() 830 Aig_Support_rec( p, Aig_ObjFanin0(pObj), vSupp ); in Aig_Support_rec() [all …]
|
H A D | aigWin.c | 55 Cost = (!Aig_ObjFanin0(pNode)->fMarkA) + (!Aig_ObjFanin1(pNode)->fMarkA); in Aig_NodeGetLeafCostOne() 112 pNext = Aig_ObjFanin0(pFaninBest); in Aig_ManFindCut_int() 157 Vec_PtrPush( vFront, Aig_ObjFanin0(pRoot) ); in Aig_ManFindCut() 163 Vec_PtrPush( vVisited, Aig_ObjFanin0(pRoot) ); in Aig_ManFindCut() 168 assert( !Aig_ObjFanin0(pRoot)->fMarkA ); in Aig_ManFindCut() 171 Aig_ObjFanin0(pRoot)->fMarkA = 1; in Aig_ManFindCut()
|
H A D | aigUtil.c | 130 if ( Aig_ObjFanin0(pObj) ) in Aig_ManResetRefs() 131 Aig_ObjFanin0(pObj)->nRefs++; in Aig_ManResetRefs() 249 Aig_ObjCleanData_rec( Aig_ObjFanin0(pObj) ); in Aig_ObjCleanData_rec() 319 pNode0 = Aig_ObjFanin0(pNode); in Aig_ObjIsMuxType() 325 …return (Aig_ObjFanin0(pNode0) == Aig_ObjFanin0(pNode1) && (Aig_ObjFaninC0(pNode0) ^ Aig_ObjFaninC0… in Aig_ObjIsMuxType() 364 if ( Aig_ObjFanin0(p0) != Aig_ObjFanin0(p1) || Aig_ObjFanin1(p0) != Aig_ObjFanin1(p1) ) in Aig_ObjRecognizeExor() 393 pNode0 = Aig_ObjFanin0(pNode); in Aig_ObjRecognizeMux() 413 …else if ( Aig_ObjFanin0(pNode0) == Aig_ObjFanin0(pNode1) && (Aig_ObjFaninC0(pNode0) ^ Aig_ObjFanin… in Aig_ObjRecognizeMux() 759 if ( Aig_ObjIsConst1(Aig_ObjFanin0(pObj)) ) in Aig_ManDumpBlif() 874 if ( Aig_ObjIsConst1(Aig_ObjFanin0(pObj)) ) in Aig_ManDumpVerilog() [all …]
|
H A D | aigCheck.c | 52 if ( Aig_ObjFanin0(pObj) || Aig_ObjFanin1(pObj) ) in Aig_ManCheck() 61 if ( !Aig_ObjFanin0(pObj) ) in Aig_ManCheck() 77 if ( !Aig_ObjFanin0(pObj) || !Aig_ObjFanin1(pObj) ) in Aig_ManCheck() 82 if ( Aig_ObjFanin0(pObj)->Id >= Aig_ObjFanin1(pObj)->Id ) in Aig_ManCheck()
|
H A D | aigFact.c | 98 if ( Aig_ManFindConeOverlap_rec( p, Aig_ObjFanin0(pNode) ) ) in Aig_ManFindConeOverlap_rec() 147 Aig_ManDeriveNewCone_rec( p, Aig_ObjFanin0(pNode) ); in Aig_ManDeriveNewCone_rec() 195 if ( Aig_ObjIsConst1(Aig_ObjFanin0(pPoA)) || Aig_ObjIsConst1(Aig_ObjFanin0(pPoB)) ) in Aig_ManFactorAlgebraic_int() 197 if ( Aig_ObjIsCi(Aig_ObjFanin0(pPoB)) ) in Aig_ManFactorAlgebraic_int() 205 RetValue = Aig_ManFindConeOverlap( p, vImplics, Aig_ObjFanin0(pPoB) ); in Aig_ManFactorAlgebraic_int() 212 pNodeC = Aig_ManDeriveNewCone( p, vImplics, Aig_ObjFanin0(pPoB) ); in Aig_ManFactorAlgebraic_int() 303 uFunc0 = (unsigned *)Aig_ObjFanin0(pObj)->pData; in Aig_SuppMinPerform() 412 pFanin = Aig_ObjFanin0( pObj ); in Aig_SuppMinCollectSupport() 448 Aig_SuppMinCollectCone_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Aig_SuppMinCollectCone_rec() 496 RetValue = Aig_SuppMinHighlightCone_rec( p, Aig_ObjFanin0(pObj) ) | in Aig_SuppMinHighlightCone_rec() [all …]
|
H A D | aigJust.c | 124 …if ( !Aig_NtkFindSatAssign_rec(pAig, Aig_ObjFanin0(pNode), !Aig_ObjFaninC0(pNode), vSuppLits, Heur… in Aig_NtkFindSatAssign_rec() 129 Value0 = Aig_ObjSatValue( pAig, Aig_ObjFanin0(pNode), Aig_ObjFaninC0(pNode) ); in Aig_NtkFindSatAssign_rec() 140 …return Aig_NtkFindSatAssign_rec(pAig, Aig_ObjFanin0(pNode), Aig_ObjFaninC0(pNode), vSuppLits, Heur… in Aig_NtkFindSatAssign_rec() 148 …return Aig_NtkFindSatAssign_rec(pAig, Aig_ObjFanin0(pNode), Aig_ObjFaninC0(pNode), vSuppLits, Heur… in Aig_NtkFindSatAssign_rec() 166 …return Aig_ObjFindSatAssign( pAig, Aig_ObjFanin0(pNode), Value ^ Aig_ObjFaninC0(pNode), vSuppLits … in Aig_ObjFindSatAssign() 198 …Value0 = Aig_ObjNotCondTerValue( Aig_ObjTerSimulate_rec(pAig, Aig_ObjFanin0(pNode)), Aig_ObjFaninC… in Aig_ObjTerSimulate_rec()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigUtil.c | 142 if ( Aig_ObjFanin0(pObj) ) in Aig_ManResetRefs() 143 Aig_ObjFanin0(pObj)->nRefs++; in Aig_ManResetRefs() 223 Aig_ObjCleanData_rec( Aig_ObjFanin0(pObj) ); in Aig_ObjCleanData_rec() 293 pNode0 = Aig_ObjFanin0(pNode); in Aig_ObjIsMuxType() 299 …return (Aig_ObjFanin0(pNode0) == Aig_ObjFanin0(pNode1) && (Aig_ObjFaninC0(pNode0) ^ Aig_ObjFaninC0… in Aig_ObjIsMuxType() 338 if ( Aig_ObjFanin0(p0) != Aig_ObjFanin0(p1) || Aig_ObjFanin1(p0) != Aig_ObjFanin1(p1) ) in Aig_ObjRecognizeExor() 367 pNode0 = Aig_ObjFanin0(pNode); in Aig_ObjRecognizeMux() 387 …else if ( Aig_ObjFanin0(pNode0) == Aig_ObjFanin0(pNode1) && (Aig_ObjFaninC0(pNode0) ^ Aig_ObjFanin… in Aig_ObjRecognizeMux() 728 nDigits, Aig_ObjFanin0(pObj)->iData, in Aig_ManDumpBlif() 737 nDigits, Aig_ObjFanin0(pObj)->iData, in Aig_ManDumpBlif() [all …]
|
H A D | aigSeq.c | 113 Aig_ManDfsSeq_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Aig_ManDfsSeq_rec() 139 Aig_ManDfsSeq_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Aig_ManDfsSeq() 162 Aig_ManDfsUnreach_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Aig_ManDfsUnreach_rec() 164 if ( Aig_ObjIsTravIdPrevious(p, Aig_ObjFanin0(pObj)) && in Aig_ManDfsUnreach_rec() 200 Aig_ManDfsUnreach_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Aig_ManDfsUnreach() 211 pFanin = Aig_ObjFanin0(pObj); in Aig_ManDfsUnreach() 222 pFanin = Aig_ObjFanin0(pObj); in Aig_ManDfsUnreach() 365 if ( !Aig_ObjIsBuf(Aig_ObjFanin0(pObj)) ) in Aig_ManSeqRehashOne() 373 if ( !Aig_ObjIsBuf(Aig_ObjFanin0(pObj)) ) in Aig_ManSeqRehashOne() 420 if ( !Aig_ObjIsBuf(Aig_ObjFanin0(pObj)) ) in Aig_ManRemoveBuffers() [all …]
|
H A D | aigObj.c | 142 assert( Aig_ObjFanin0(pObj)->Type > 0 ); in Aig_ObjConnect() 143 Aig_ObjRef( Aig_ObjFanin0(pObj) ); in Aig_ObjConnect() 145 Aig_ObjAddFanout( p, Aig_ObjFanin0(pObj), pObj ); in Aig_ObjConnect() 183 Aig_ObjRemoveFanout( p, Aig_ObjFanin0(pObj), pObj ); in Aig_ObjDisconnect() 184 Aig_ObjDeref(Aig_ObjFanin0(pObj)); in Aig_ObjDisconnect() 244 pFanin0 = Aig_ObjFanin0(pObj); in Aig_ObjDelete_rec() 271 pFaninOld = Aig_ObjFanin0(pObj); in Aig_ObjPatchFanin0() 280 Aig_ObjAddFanout( p, Aig_ObjFanin0(pObj), pObj ); in Aig_ObjPatchFanin0() 281 Aig_ObjRef( Aig_ObjFanin0(pObj) ); in Aig_ObjPatchFanin0() 304 assert( Aig_ObjIsBuf(Aig_ObjFanin0(pObj)) ); in Aig_NodeFixBufferFanins() [all …]
|
H A D | aigWin.c | 70 Cost = (!Aig_ObjFanin0(pNode)->fMarkA) + (!Aig_ObjFanin1(pNode)->fMarkA); in Aig_NodeGetLeafCostOne() 127 pNext = Aig_ObjFanin0(pFaninBest); in Aig_ManFindCut_int() 172 Vec_PtrPush( vFront, Aig_ObjFanin0(pRoot) ); in Aig_ManFindCut() 178 Vec_PtrPush( vVisited, Aig_ObjFanin0(pRoot) ); in Aig_ManFindCut() 183 assert( !Aig_ObjFanin0(pRoot)->fMarkA ); in Aig_ManFindCut() 186 Aig_ObjFanin0(pRoot)->fMarkA = 1; in Aig_ManFindCut()
|
H A D | aigDfs.c | 68 Aig_ManDfs_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Aig_ManDfs_rec() 157 Aig_ManDfsChoices_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Aig_ManDfsChoices_rec() 190 Aig_ManDfsChoices_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Aig_ManDfsChoices() 298 Level0 = Aig_ObjFanin0(pObj)->iData; in Aig_ManCountLevels() 326 Aig_ConeMark_rec( Aig_ObjFanin0(pObj) ); in Aig_ConeMark_rec() 348 Aig_ConeCleanAndMark_rec( Aig_ObjFanin0(pObj) ); in Aig_ConeCleanAndMark_rec() 395 Aig_ConeUnmark_rec( Aig_ObjFanin0(pObj) ); in Aig_ConeUnmark_rec() 442 Aig_SupportSize_rec( p, Aig_ObjFanin0(pObj), pCounter ); in Aig_SupportSize_rec() 484 Aig_Transfer_rec( pDest, Aig_ObjFanin0(pObj) ); in Aig_Transfer_rec() 546 Aig_Compose_rec( p, Aig_ObjFanin0(pObj), pFunc, pVar ); in Aig_Compose_rec() [all …]
|
H A D | aigCheck.c | 67 if ( Aig_ObjFanin0(pObj) || Aig_ObjFanin1(pObj) ) in Aig_ManCheck() 76 if ( !Aig_ObjFanin0(pObj) ) in Aig_ManCheck() 92 if ( !Aig_ObjFanin0(pObj) || !Aig_ObjFanin1(pObj) ) in Aig_ManCheck() 97 if ( Aig_ObjFanin0(pObj)->Id >= Aig_ObjFanin1(pObj)->Id ) in Aig_ManCheck()
|
H A D | aigScl.c | 124 Aig_ManSeqCleanup_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Aig_ManSeqCleanup_rec() 128 Aig_ManSeqCleanup_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Aig_ManSeqCleanup_rec() 246 pFanin = Aig_ObjFanin0(pObj); in Aig_ManCountMergeRegs() 285 pFanin = Aig_ObjFanin0(pObj); in Aig_ManReduceLachesCount() 304 pFanin = Aig_ObjFanin0(pObj); in Aig_ManReduceLachesCount() 336 pFanin = Aig_ObjFanin0(pObjLi); in Aig_ManReduceLachesOnce() 367 pFanin = Aig_ObjFanin0(pObj); in Aig_ManReduceLachesOnce()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcCexMin1.c | 79 Saig_ManCexMinCollectFrameTerms_rec( pAig, Aig_ObjFanin0(pObj), vFrameCisOne ); in Saig_ManCexMinCollectFrameTerms_rec() 82 Saig_ManCexMinCollectFrameTerms_rec( pAig, Aig_ObjFanin0(pObj), vFrameCisOne ); in Saig_ManCexMinCollectFrameTerms_rec() 143 Saig_ManCexMinDerivePhasePriority_rec( pAig, Aig_ObjFanin0(pObj) ); in Saig_ManCexMinDerivePhasePriority_rec() 144 assert( Aig_ObjFanin0(pObj)->iData >= 0 ); in Saig_ManCexMinDerivePhasePriority_rec() 145 pObj->iData = Aig_ObjFanin0(pObj)->iData ^ Aig_ObjFaninC0(pObj); in Saig_ManCexMinDerivePhasePriority_rec() 150 Saig_ManCexMinDerivePhasePriority_rec( pAig, Aig_ObjFanin0(pObj) ); in Saig_ManCexMinDerivePhasePriority_rec() 152 assert( Aig_ObjFanin0(pObj)->iData >= 0 ); in Saig_ManCexMinDerivePhasePriority_rec() 156 iPrio0 = Abc_Lit2Var( Aig_ObjFanin0(pObj)->iData ); in Saig_ManCexMinDerivePhasePriority_rec() 198 pObj->fPhase = (Aig_ObjFaninC0(pObj) ^ Aig_ObjFanin0(pObj)->fPhase) & in Saig_ManCexMinVerifyPhase() 201 pObj->fPhase = (Aig_ObjFaninC0(pObj) ^ Aig_ObjFanin0(pObj)->fPhase); in Saig_ManCexMinVerifyPhase() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
H A D | llb2Flow.c | 135 if ( !Saig_ObjIsPi(p, Aig_ObjFanin0(pObj)) ) in Llb_ManCutMap() 358 Llb_ManCutNodes_rec(p, Aig_ObjFanin0(pObj), vNodes); in Llb_ManCutNodes_rec() 614 Llb_ManFlowLabelTfi_rec( p, Aig_ObjFanin0(pObj) ); in Llb_ManFlowLabelTfi_rec() 649 Vec_PtrPush( vMinCut, Aig_ObjFanin0(pObj) ); in Llb_ManFlowUpdateCut() 774 if ( !Aig_ObjFanin0(pObj)->fMarkB ) in Llb_ManFlow() 797 if ( !Aig_ObjFanin0(pObj)->fMarkB ) in Llb_ManFlow() 844 if ( !Aig_ObjFanin0(pObj)->fMarkB ) in Llb_ManFlowCompute() 870 if ( !Aig_ObjFanin0(pObj)->fMarkB ) in Llb_ManFlowCompute() 914 Llb_ManFlowCleanMarkB_rec( Aig_ObjFanin0(pObj) ); in Llb_ManFlowCleanMarkB_rec() 937 Llb_ManFlowSetMarkA_rec( Aig_ObjFanin0(pObj) ); in Llb_ManFlowSetMarkA_rec() [all …]
|
H A D | llb4Sweep.c | 58 pFanin0 = Aig_ObjFanin0(pObj); in Llb_Nonlin4SweepOrder_rec() 98 Llb_Nonlin4SweepOrder_rec( pAig, Aig_ObjFanin0(pObj), vOrder, &Counter, fSaveAll ); in Llb_Nonlin4SweepOrder() 144 bFunc0 = Cudd_NotCond( (DdNode *)Aig_ObjFanin0(pObj)->pData, Aig_ObjFaninC0(pObj) ); in Llb4_Nonlin4SweepCutpoints() 156 Cudd_RecursiveDeref( dd, (DdNode *)Aig_ObjFanin0(pObj)->pData ); in Llb4_Nonlin4SweepCutpoints() 157 bFunc = Cudd_bddIthVar( dd, Llb_ObjBddVar(vOrder, Aig_ObjFanin0(pObj)) ); in Llb4_Nonlin4SweepCutpoints() 158 Aig_ObjFanin0(pObj)->pData = bFunc; Cudd_Ref( bFunc ); in Llb4_Nonlin4SweepCutpoints() 159 Aig_ObjFanin0(pObj)->fMarkA = 1; in Llb4_Nonlin4SweepCutpoints() 175 bFunc0 = Cudd_NotCond( (DdNode *)Aig_ObjFanin0(pObj)->pData, Aig_ObjFaninC0(pObj) ); in Llb4_Nonlin4SweepCutpoints() 220 …bBdd0 = Cudd_NotCond( Llb_Nonlin4SweepPartitions_rec(dd, Aig_ObjFanin0(pObj), vOrder, vRoots), Aig… in Llb_Nonlin4SweepPartitions_rec() 225 …bBdd0 = Cudd_NotCond( Llb_Nonlin4SweepPartitions_rec(dd, Aig_ObjFanin0(pObj), vOrder, vRoots), Aig… in Llb_Nonlin4SweepPartitions_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigScl.c | 55 pDriver = Aig_ObjFanin0(pObj); in Saig_ManReportUselessRegisters() 63 pDriver = Aig_ObjFanin0(pObj); in Saig_ManReportUselessRegisters() 94 pFanin = Aig_ObjFanin0(pObj); in Saig_ManReportComplements() 103 pFanin = Aig_ObjFanin0(pObj); in Saig_ManReportComplements()
|
H A D | saigMiter.c | 215 Aig_Obj_t * pFanin0 = Aig_ObjFanin0(pObj); in Saig_AndDualRail() 277 Aig_ObjCreateCo( pNew, Aig_ObjFanin0(pObj)->pNext ); in Saig_ManDualRail() 281 Aig_ObjCreateCo( pNew, Aig_ObjFanin0(pObj)->pNext ); in Saig_ManDualRail() 293 Aig_ObjCreateCo( pNew, Aig_ObjFanin0(pObj)->pNext ); in Saig_ManDualRail() 501 pFanin = Aig_ObjFanin0(pObj); in Saig_ManDemiterSimple() 593 pFanin = Aig_ObjFanin0( pObj ); in Saig_ManDemiterCheckPo() 775 pFanin = Aig_ObjFanin0(pObj); in Saig_ManDemiterSimpleDiff_old() 856 Saig_ManDemiterLabel_rec( p, Aig_ObjFanin0(pObj), Value ); in Saig_ManDemiterLabel_rec() 1241 if ( Aig_ObjIsConst1(Aig_ObjFanin0(pObj)) ) in Saig_ManDemiterNew() 1249 if ( !Aig_ObjIsNode(Aig_ObjFanin0(pObj)) ) in Saig_ManDemiterNew() [all …]
|
H A D | saigDup.c | 191 Saig_ManAbstractionDfs_rec( pNew, Aig_ObjFanin0(pObj) ); in Saig_ManAbstractionDfs_rec() 251 Saig_ManAbstractionDfs_rec( pNew, Aig_ObjFanin0(pObj) ); in Saig_ManDupAbstraction() 259 Saig_ManAbstractionDfs_rec( pNew, Aig_ObjFanin0(pObj) ); in Saig_ManDupAbstraction() 294 pObj->fMarkB = (Aig_ObjFanin0(pObj)->fMarkB ^ Aig_ObjFaninC0(pObj)) & in Saig_ManVerifyCex() 297 pObj->fMarkB = Aig_ObjFanin0(pObj)->fMarkB ^ Aig_ObjFaninC0(pObj); in Saig_ManVerifyCex() 333 pObj->fMarkB = (Aig_ObjFanin0(pObj)->fMarkB ^ Aig_ObjFaninC0(pObj)) & in Saig_ManVerifyCexNoClear() 336 pObj->fMarkB = Aig_ObjFanin0(pObj)->fMarkB ^ Aig_ObjFaninC0(pObj); in Saig_ManVerifyCexNoClear() 411 pObj->fMarkB = Aig_ObjFanin0(pObj)->fMarkB ^ Aig_ObjFaninC0(pObj); in Saig_ManExtendCex() 452 pObj->fMarkB = Aig_ObjFanin0(pObj)->fMarkB ^ Aig_ObjFaninC0(pObj); in Saig_ManFindFailedPoCex() 533 Saig_ManDupCones_rec( p, Aig_ObjFanin0(pObj), vLeaves, vNodes, vRoots ); in Saig_ManDupCones_rec() [all …]
|
H A D | saigWnd.c | 66 Saig_ManWindowOutline_rec( p, Aig_ObjFanin0(pObj), nDist-1, vNodes, pDists ); in Saig_ManWindowOutline_rec() 83 Saig_ManWindowOutline_rec( p, Aig_ObjFanin0(pObj), nDist-1, vNodes, pDists ); in Saig_ManWindowOutline_rec() 166 pFanin = Aig_ObjFanin0(pMatch); in Saig_ManWindowCollectPis() 173 pFanin = Aig_ObjFanin0(pObj); in Saig_ManWindowCollectPis() 305 Saig_ManWindowInsertBig_rec( pNew, Aig_ObjFanin0(pObjBig), vBigNode2SmallPo, vSmallPi2BigNode ); in Saig_ManWindowInsertBig_rec() 600 pFanin = Aig_ObjFanin0(pMatch); in Saig_ManWindowCreatePis() 614 pFanin = Aig_ObjFanin0(pObj); in Saig_ManWindowCreatePis() 667 pFanin0 = Aig_ObjFanin0(pObj0); in Saig_ManWindowCreatePos() 668 pFanin1 = Aig_ObjFanin0(pObj1); in Saig_ManWindowCreatePos() 681 pFanin0 = Aig_ObjFanin0(pObj0); in Saig_ManWindowCreatePos() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/ |
H A D | cnfFast.c | 60 Cnf_CollectLeaves_rec( pRoot, Aig_ObjFanin0(pObj), vSuper, 0 ); in Cnf_CollectLeaves_rec() 100 Cnf_CollectVolume_rec( p, Aig_ObjFanin0(pObj), vNodes ); in Cnf_CollectVolume_rec() 216 if ( Aig_ObjFaninC0(pLeaf) && !Aig_ObjFanin0(pLeaf)->fMarkA ) in Cnf_ComputeClauses() 314 Aig_ObjFanin0(pObj)->fMarkA = 1; in Cnf_DeriveFastMark() 322 pObj0 = Aig_ObjFanin0(pObj); in Cnf_DeriveFastMark() 334 Aig_ObjFanin0(pObj0)->fMarkA = 1; in Cnf_DeriveFastMark() 336 Aig_ObjFanin0(pObj1)->fMarkA = 1; in Cnf_DeriveFastMark() 347 if ( Aig_ObjFaninC0(pObj) && !Aig_ObjFanin0(pObj)->fMarkB ) in Cnf_DeriveFastMark() 348 Aig_ObjFanin0(pObj)->fMarkA = 1; in Cnf_DeriveFastMark() 407 Counter += !Aig_ObjFanin0(pObj)->fMarkA; in Cnf_DeriveFastMark() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsStrash.c | 49 Abc_MfsConvertAigToHop_rec( Aig_ObjFanin0(pObj), pHop ); in Abc_MfsConvertAigToHop_rec() 74 if ( Aig_ObjIsConst1( Aig_ObjFanin0(pRoot) ) ) in Abc_MfsConvertAigToHop() 81 Abc_MfsConvertAigToHop_rec( Aig_ObjFanin0(pRoot), pHop ); in Abc_MfsConvertAigToHop() 82 return Hop_NotCond( (Hop_Obj_t *)Aig_ObjFanin0(pRoot)->pData, Aig_ObjFaninC0(pRoot) ); in Abc_MfsConvertAigToHop() 211 pObj0 = Abc_NtkConstructCare_rec( pCare, Aig_ObjFanin0(pObj), pMan ); in Abc_NtkConstructCare_rec() 266 if ( Aig_ObjFanin0(pPo) == Aig_ManConst1(p->pCare) ) in Abc_NtkConstructAig() 268 pObjAig = Abc_NtkConstructCare_rec( p->pCare, Aig_ObjFanin0(pPo), pMan ); in Abc_NtkConstructAig() 354 if ( Aig_ObjFanin0(pPo) == Aig_ManConst1(p->pCare) ) in Abc_NtkAigForConstraints() 356 pObjAig = Abc_NtkConstructCare_rec( p->pCare, Aig_ObjFanin0(pPo), pMan ); in Abc_NtkAigForConstraints()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ioa/ |
H A D | ioaWriteAig.c | 215 pDriver = Aig_ObjFanin0(pObj); in Ioa_WriteAigerLiterals() 220 pDriver = Aig_ObjFanin0(pObj); in Ioa_WriteAigerLiterals() 325 pDriver = Aig_ObjFanin0(pObj); in Ioa_WriteAigerIntoMemoryStr() 335 pDriver = Aig_ObjFanin0(pObj); in Ioa_WriteAigerIntoMemoryStr() 345 uLit0 = Ioa_ObjMakeLit( Ioa_ObjAigerNum(Aig_ObjFanin0(pObj)), Aig_ObjFaninC0(pObj) ); in Ioa_WriteAigerIntoMemoryStr() 508 pDriver = Aig_ObjFanin0(pObj); in Ioa_WriteAiger() 515 pDriver = Aig_ObjFanin0(pObj); in Ioa_WriteAiger() 538 uLit0 = Ioa_ObjMakeLit( Ioa_ObjAigerNum(Aig_ObjFanin0(pObj)), Aig_ObjFaninC0(pObj) ); in Ioa_WriteAiger()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absOldCex.c | 94 pObj->fMarkB = (Aig_ObjFanin0(pObj)->fMarkB ^ Aig_ObjFaninC0(pObj)) & in Saig_ManCbaFilterFlops() 97 pObj->fMarkB = Aig_ObjFanin0(pObj)->fMarkB ^ Aig_ObjFaninC0(pObj); in Saig_ManCbaFilterFlops() 276 Saig_ManCbaFindReason_rec( p, Aig_ObjFanin0(pObj), vPrios, vReasons ); in Saig_ManCbaFindReason_rec() 281 int fPhase0 = Aig_ObjFaninC0(pObj) ^ Aig_ObjFanin0(pObj)->fPhase; in Saig_ManCbaFindReason_rec() 285 Saig_ManCbaFindReason_rec( p, Aig_ObjFanin0(pObj), vPrios, vReasons ); in Saig_ManCbaFindReason_rec() 293 Saig_ManCbaFindReason_rec( p, Aig_ObjFanin0(pObj), vPrios, vReasons ); in Saig_ManCbaFindReason_rec() 331 int fPhase0 = Aig_ObjFaninC0(pObj) ^ Aig_ObjFanin0(pObj)->fPhase; in Saig_ManCbaFindReason() 347 pObj->fPhase = Aig_ObjFaninC0(pObj) ^ Aig_ObjFanin0(pObj)->fPhase; in Saig_ManCbaFindReason() 353 Saig_ManCbaFindReason_rec( p->pFrames, Aig_ObjFanin0(pObj), vPrios, vReasons ); in Saig_ManCbaFindReason() 377 Saig_ManCbaUnrollCollect_rec( pAig, Aig_ObjFanin0(pObj), vObjs, vRoots ); in Saig_ManCbaUnrollCollect_rec() [all …]
|