Home
last modified time | relevance | path

Searched refs:Aig_ObjFanin0 (Results 1 – 25 of 157) sorted by relevance

1234567

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigObj.c136 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 DaigDfs.c56 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 DaigWin.c55 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 DaigUtil.c130 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 DaigCheck.c52 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 DaigFact.c98 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 DaigJust.c124 …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 DaigUtil.c142 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 DaigSeq.c113 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 DaigObj.c142 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 DaigWin.c70 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 DaigDfs.c68 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 DaigCheck.c67 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 DaigScl.c124 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 DbmcCexMin1.c79 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 Dllb2Flow.c135 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 Dllb4Sweep.c58 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 DsaigScl.c55 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 DsaigMiter.c215 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 DsaigDup.c191 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 DsaigWnd.c66 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 DcnfFast.c60 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 DmfsStrash.c49 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 DioaWriteAig.c215 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 DabsOldCex.c94 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 …]

1234567