Home
last modified time | relevance | path

Searched refs:pObj (Results 1 – 25 of 2655) sorted by relevance

12345678910>>...107

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkFlow.c56 return pObj->TravId == pObj->pMan->nTravIds - 2; in Nwk_ObjVisitedBotOnly()
60 return pObj->TravId == pObj->pMan->nTravIds - 2 || pObj->TravId == pObj->pMan->nTravIds; in Nwk_ObjVisitedBot()
64 return pObj->TravId == pObj->pMan->nTravIds - 1 || pObj->TravId == pObj->pMan->nTravIds; in Nwk_ObjVisitedTop()
68 if ( pObj->TravId < pObj->pMan->nTravIds - 2 ) in Nwk_ObjSetVisitedBot()
69 pObj->TravId = pObj->pMan->nTravIds - 2; in Nwk_ObjSetVisitedBot()
70 else if ( pObj->TravId == pObj->pMan->nTravIds - 1 ) in Nwk_ObjSetVisitedBot()
71 pObj->TravId = pObj->pMan->nTravIds; in Nwk_ObjSetVisitedBot()
77 if ( pObj->TravId < pObj->pMan->nTravIds - 2 ) in Nwk_ObjSetVisitedTop()
78 pObj->TravId = pObj->pMan->nTravIds - 1; in Nwk_ObjSetVisitedTop()
80 pObj->TravId = pObj->pMan->nTravIds; in Nwk_ObjSetVisitedTop()
[all …]
H A DnwkFlow_depth.c58 return pObj->TravId == pObj->pMan->nTravIds - 2; in Nwk_ObjVisitedBotOnly()
62 return pObj->TravId == pObj->pMan->nTravIds - 2 || pObj->TravId == pObj->pMan->nTravIds; in Nwk_ObjVisitedBot()
66 return pObj->TravId == pObj->pMan->nTravIds - 1 || pObj->TravId == pObj->pMan->nTravIds; in Nwk_ObjVisitedTop()
70 if ( pObj->TravId < pObj->pMan->nTravIds - 2 ) in Nwk_ObjSetVisitedBot()
71 pObj->TravId = pObj->pMan->nTravIds - 2; in Nwk_ObjSetVisitedBot()
72 else if ( pObj->TravId == pObj->pMan->nTravIds - 1 ) in Nwk_ObjSetVisitedBot()
73 pObj->TravId = pObj->pMan->nTravIds; in Nwk_ObjSetVisitedBot()
79 if ( pObj->TravId < pObj->pMan->nTravIds - 2 ) in Nwk_ObjSetVisitedTop()
80 pObj->TravId = pObj->pMan->nTravIds - 1; in Nwk_ObjSetVisitedTop()
82 pObj->TravId = pObj->pMan->nTravIds; in Nwk_ObjSetVisitedTop()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyDfs.c50 if ( Ivy_ObjIsConst1(pObj) || Ivy_ObjIsCi(pObj) ) in Ivy_ManDfs_rec()
63 assert( Ivy_ObjIsBuf(pObj) || Ivy_ObjIsAnd(pObj) || Ivy_ObjIsExor(pObj) ); in Ivy_ManDfs_rec()
95 assert( !pObj->fMarkA && !pObj->fMarkB ); in Ivy_ManDfs()
129 assert( !pObj->fMarkA && !pObj->fMarkB ); in Ivy_ManDfsSeq()
234 Vec_VecPush( vNodes, pObj->Level, pObj ); in Ivy_ManLevelize()
329 if ( Ivy_ObjIsCi(pObj) || Ivy_ObjIsConst1(pObj) ) in Ivy_ManIsAcyclic_rec()
415 if ( Ivy_ObjIsConst1(pObj) || Ivy_ObjIsCi(pObj) ) in Ivy_ManSetLevels_rec()
417 assert( Ivy_ObjIsBuf(pObj) || Ivy_ObjIsAnd(pObj) || Ivy_ObjIsExor(pObj) ); in Ivy_ManSetLevels_rec()
424 pObj->Level = 1 + Ivy_ObjFanin0(pObj)->Level; in Ivy_ManSetLevels_rec()
426 pObj->Level = Ivy_ObjLevelNew( pObj ); in Ivy_ManSetLevels_rec()
[all …]
H A DivyCheck.c60 if ( Ivy_ObjFaninId0(pObj) || Ivy_ObjFaninId1(pObj) || Ivy_ObjLevel(pObj) ) in Ivy_ManCheck()
103 if ( !Ivy_ObjFanin0(pObj) || !Ivy_ObjFanin1(pObj) ) in Ivy_ManCheck()
108 if ( Ivy_ObjFaninId0(pObj) >= Ivy_ObjFaninId1(pObj) ) in Ivy_ManCheck()
113 if ( Ivy_ObjLevel(pObj) != Ivy_ObjLevelNew(pObj) ) in Ivy_ManCheck()
121 if ( p->fFanout && Ivy_ObjRefs(pObj) != Ivy_ObjFanoutNum(p, pObj) ) in Ivy_ManCheck()
150 Ivy_Obj_t * pObj; in Ivy_ManCheckFanoutNums() local
208 if ( Ivy_ObjFanin0(pObj->pPrevFan0) != Ivy_ObjFanin0(pObj) && in Ivy_ManCheckFanouts()
209 Ivy_ObjFanin0(pObj->pPrevFan0) != Ivy_ObjFanin1(pObj) && in Ivy_ManCheckFanouts()
210 Ivy_ObjFanin1(pObj->pPrevFan0) != Ivy_ObjFanin0(pObj) && in Ivy_ManCheckFanouts()
211 Ivy_ObjFanin1(pObj->pPrevFan0) != Ivy_ObjFanin1(pObj) ) in Ivy_ManCheckFanouts()
[all …]
H A DivyObj.c95 pObj->Level = Ivy_ObjLevelNew(pObj); in Ivy_ObjCreate()
99 pObj->Level = Ivy_ObjFanin0(pObj)->Level; in Ivy_ObjCreate()
104 … pObj->fPhase = Ivy_ObjFaninPhase(Ivy_ObjChild0(pObj)) & Ivy_ObjFaninPhase(Ivy_ObjChild1(pObj)); in Ivy_ObjCreate()
106 pObj->fPhase = Ivy_ObjFaninPhase(Ivy_ObjChild0(pObj)); in Ivy_ObjCreate()
109 pObj->fFailTfo = Ivy_ObjFanin0(pObj)->fFailTfo | Ivy_ObjFanin1(pObj)->fFailTfo; in Ivy_ObjCreate()
136 return pObj; in Ivy_ObjCreate()
162 Ivy_ObjAddFanout( p, Ivy_ObjFanin0(pObj), pObj ); in Ivy_ObjConnect()
168 Ivy_ObjAddFanout( p, Ivy_ObjFanin1(pObj), pObj ); in Ivy_ObjConnect()
188 assert( Ivy_ObjIsPi(pObj) || Ivy_ObjIsOneFanin(pObj) || Ivy_ObjFanin1(pObj) != NULL ); in Ivy_ObjDisconnect()
194 Ivy_ObjDeleteFanout( p, Ivy_ObjFanin0(pObj), pObj ); in Ivy_ObjDisconnect()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fret/
H A DfretTime.c43 print_node(pObj); in trace2()
91 Abc_Obj_t *pObj; in Abc_FlowRetime_ConstrainConserv() local
136 pObj->Level = 0; in Abc_FlowRetime_ConstrainConserv_forw()
143 pObj->Level += Abc_ObjIsNode(pObj) ? 1 : 0; in Abc_FlowRetime_ConstrainConserv_forw()
192 pObj->Level += Abc_ObjIsNode(pObj) ? 1 : 0; in Abc_FlowRetime_ConstrainConserv_forw()
214 pObj->Level += Abc_ObjIsNode(pObj) ? 1 : 0; in Abc_FlowRetime_ConstrainConserv_forw()
242 pObj->Level += Abc_ObjIsNode(pObj) ? 1 : 0; in Abc_FlowRetime_ConstrainConserv_forw()
448 pObj->Level = 0; in Abc_FlowRetime_ConstrainExact_forw_rec()
522 pObj->Level = 0; in Abc_FlowRetime_ConstrainExact_back_rec()
586 Abc_Obj_t *pObj; in Abc_FlowRetime_ConstrainExactAll() local
[all …]
H A DfretFlow.c55 Abc_Obj_t *pObj, *pNext; in dfsfast_preorder() local
98 assert(pObj); in dfsfast_preorder()
199 printf("node %d\t: r=%d\te=%d\n", Abc_ObjId(pObj), FDATA(pObj)->r_dist, FDATA(pObj)->e_dist); in dfsfast_preorder()
227 printf("(%de=%d) ", Abc_ObjId(pObj), FDATA(pObj)->e_dist); in dfsfast_e()
289 FDIST(pObj, e, pObj, r) && in dfsfast_e()
290 dfsfast_r(pObj, FGETPRED(pObj))) { in dfsfast_e()
320 printf("(%dr=%d) ", Abc_ObjId(pObj), FDATA(pObj)->r_dist); in dfsfast_r()
352 FDIST(pObj, r, pObj, e) && in dfsfast_r()
353 dfsfast_e(pObj, pObj)) { in dfsfast_r()
598 dfsplain_r(pObj, FGETPRED(pObj))) { in dfsplain_e()
[all …]
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/
H A DaigDfs.c67 assert( Aig_ObjIsNode(pObj) || Aig_ObjIsBuf(pObj) ); in Aig_ManDfs_rec()
104 if ( Aig_ObjIsNode(pObj) || Aig_ObjIsBuf(pObj) ) in Aig_ManDfs()
212 assert( Aig_ObjIsNode(pObj) || Aig_ObjIsBuf(pObj) ); in Aig_ManDfsReverse_rec()
248 if ( Aig_ObjIsNode(pObj) || Aig_ObjIsBuf(pObj) ) in Aig_ManDfsReverse()
324 if ( !Aig_ObjIsNode(pObj) || Aig_ObjIsMarkA(pObj) ) in Aig_ConeMark_rec()
346 if ( !Aig_ObjIsNode(pObj) || Aig_ObjIsMarkA(pObj) ) in Aig_ConeCleanAndMark_rec()
486 pObj->pData = Aig_And( pDest, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Aig_Transfer_rec()
541 if ( Aig_ObjIsConst1(pObj) || Aig_ObjIsPi(pObj) ) in Aig_Compose_rec()
543 pObj->pData = pObj == pVar ? pFunc : pObj; in Aig_Compose_rec()
548 pObj->pData = Aig_And( p, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Aig_Compose_rec()
[all …]
H A DaigObj.c67 return pObj; in Aig_ObjCreatePi()
89 return pObj; in Aig_ObjCreatePo()
118 return pObj; in Aig_ObjCreate()
145 Aig_ObjAddFanout( p, Aig_ObjFanin0(pObj), pObj ); in Aig_ObjConnect()
152 Aig_ObjAddFanout( p, Aig_ObjFanin1(pObj), pObj ); in Aig_ObjConnect()
155 pObj->Level = Aig_ObjLevelNew( pObj ); in Aig_ObjConnect()
183 Aig_ObjRemoveFanout( p, Aig_ObjFanin0(pObj), pObj ); in Aig_ObjDisconnect()
189 Aig_ObjRemoveFanout( p, Aig_ObjFanin1(pObj), pObj ); in Aig_ObjDisconnect()
241 if ( Aig_ObjIsConst1(pObj) || Aig_ObjIsPi(pObj) ) in Aig_ObjDelete_rec()
280 Aig_ObjAddFanout( p, Aig_ObjFanin0(pObj), pObj ); in Aig_ObjPatchFanin0()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigDfs.c69 else if ( Aig_ObjIsCo(pObj) || Aig_ObjIsBuf(pObj) ) in Aig_ManVerifyTopoOrder()
331 Vec_VecPush( vLevels, pObj->Level, pObj ); in Aig_ManLevelize()
416 for ( pObj = Aig_ObjEquiv(p, pObj) ; pObj; pObj = Aig_ObjEquiv(p, pObj) ) in Aig_ManDfsChoices()
453 assert( Aig_ObjIsNode(pObj) || Aig_ObjIsBuf(pObj) ); in Aig_ManDfsReverse_rec()
638 if ( !Aig_ObjIsNode(pObj) || Aig_ObjIsMarkA(pObj) ) in Aig_ConeMark_rec()
660 if ( !Aig_ObjIsNode(pObj) || Aig_ObjIsMarkA(pObj) ) in Aig_ConeCleanAndMark_rec()
902 pObj->pData = Aig_And( pDest, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Aig_Transfer_rec()
957 if ( Aig_ObjIsConst1(pObj) || Aig_ObjIsCi(pObj) ) in Aig_Compose_rec()
959 pObj->pData = pObj == pVar ? pFunc : pObj; in Aig_Compose_rec()
964 pObj->pData = Aig_And( p, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Aig_Compose_rec()
[all …]
H A DaigObj.c52 return pObj; in Aig_ObjCreateCi()
74 return pObj; in Aig_ObjCreateCo()
139 Aig_ObjAddFanout( p, Aig_ObjFanin0(pObj), pObj ); in Aig_ObjConnect()
149 pObj->Level = Aig_ObjLevelNew( pObj ); in Aig_ObjConnect()
157 assert( !Aig_ObjIsNode(pObj) || pObj->Level > 0 ); in Aig_ObjConnect()
236 if ( Aig_ObjIsConst1(pObj) || Aig_ObjIsCi(pObj) ) in Aig_ObjDelete_rec()
294 pObj->Level = Aig_ObjLevelNew( pObj ); in Aig_ObjPatchFanin0()
295 pObj->fPhase = Aig_ObjPhaseReal(pObj->pFanin0); in Aig_ObjPatchFanin0()
298 Aig_ObjAddFanout( p, Aig_ObjFanin0(pObj), pObj ); in Aig_ObjPatchFanin0()
328 pObj = Aig_Not(pObj); in Aig_ObjPrint()
[all …]
H A DaigDup.c129 pObj->pData = Aig_And( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Aig_ManDupSimpleWithHints()
165 pObj->pData = Aig_And( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Aig_ManDupSimpleDfs_rec()
854 …pObj->pData = Aig_Oper( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj), Aig_ObjType(pObj) … in Aig_ManDupWithoutPos()
942 pObj->pData = Aig_ObjGetRepres( p, pObj ); in Aig_ManDupRepres()
1065 pObj->pData = Aig_And( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Aig_ManCreateMiter()
1071 pObj->pData = Aig_And( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Aig_ManCreateMiter()
1125 pObj->pData = Aig_And( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Aig_ManDupOrpos()
1174 pObj->pData = Aig_And( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Aig_ManDupOneOutput()
1229 pObj->pData = Aig_And( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Aig_ManDupUnsolvedOutputs()
1280 pObj->pData = Aig_And( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Aig_ManDupArray()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/
H A DhopDfs.c48 if ( !Hop_ObjIsNode(pObj) || Hop_ObjIsMarkA(pObj) ) in Hop_ManDfs_rec()
191 if ( !Hop_ObjIsNode(pObj) || Hop_ObjIsMarkA(pObj) ) in Hop_ConeMark_rec()
213 if ( !Hop_ObjIsNode(pObj) || Hop_ObjIsMarkA(pObj) ) in Hop_ConeCleanAndMark_rec()
237 if ( !Hop_ObjIsNode(pObj) || Hop_ObjIsMarkA(pObj) ) in Hop_ConeCountAndMark_rec()
337 pObj->pData = Hop_And( pDest, Hop_ObjChild0Copy(pObj), Hop_ObjChild1Copy(pObj) ); in Hop_Transfer_rec()
392 if ( Hop_ObjIsConst1(pObj) || Hop_ObjIsPi(pObj) ) in Hop_Compose_rec()
394 pObj->pData = pObj == pVar ? pFunc : pObj; in Hop_Compose_rec()
399 pObj->pData = Hop_And( p, Hop_ObjChild0Copy(pObj), Hop_ObjChild1Copy(pObj) ); in Hop_Compose_rec()
448 pObj->pData = pObj == pVar ? Hop_Not(pObj) : pObj; in Hop_Complement_rec()
453 pObj->pData = Hop_And( p, Hop_ObjChild0Copy(pObj), Hop_ObjChild1Copy(pObj) ); in Hop_Complement_rec()
[all …]
H A DhopObj.c47 Hop_Obj_t * pObj; in Hop_ObjCreatePi() local
49 pObj->Type = AIG_PI; in Hop_ObjCreatePi()
53 return pObj; in Hop_ObjCreatePi()
69 Hop_Obj_t * pObj; in Hop_ObjCreatePo() local
83 return pObj; in Hop_ObjCreatePo()
99 Hop_Obj_t * pObj; in Hop_ObjCreate() local
111 return pObj; in Hop_ObjCreate()
141 pObj->nRefs = Hop_ObjLevelNew( pObj ); in Hop_ObjConnect()
218 if ( Hop_ObjIsConst1(pObj) || Hop_ObjIsPi(pObj) ) in Hop_ObjDelete_rec()
244 if ( pObj->pData == NULL || pObj->pData == pObj ) in Hop_ObjRepr()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int2/
H A Dint2Refine.c49 pObj->fMark1 = 1; in Int2_ManJustify_rec()
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()
126 pObj->Value = Abc_MaxInt( Gia_ObjFanin0(pObj)->Value, Gia_ObjFanin1(pObj)->Value ); in Int2_ManRefineCube()
127 …else if ( (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) == 0 && (Gia_ObjFanin1(pObj)->fMark… in Int2_ManRefineCube()
128 … pObj->Value = Abc_MinInt( Gia_ObjFanin0(pObj)->Value, Gia_ObjFanin1(pObj)->Value ); // choice in Int2_ManRefineCube()
130 pObj->Value = Gia_ObjFanin0(pObj)->Value; in Int2_ManRefineCube()
132 pObj->Value = Gia_ObjFanin1(pObj)->Value; in Int2_ManRefineCube()
135 pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)); in Int2_ManRefineCube()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifUtil.c110 if ( pObj->nRefs++ || If_ObjIsCi(pObj) || If_ObjIsConst1(pObj) )
115 ppStore[pObj->Level] = pObj;
148 pObj->nVisits = pObj->nVisitsCopy;
161 for ( pObj = ppStore[i]; pObj; pObj = pObj->pCopy )
189 pObj->nVisits = pObj->nVisitsCopy;
203 for ( pObj = ppStore[i]; pObj; pObj = pObj->pCopy )
230 if ( pObj->nRefs++ || If_ObjIsPi(pObj) || If_ObjIsConst1(pObj) )
345 pObj->nVisits = pObj->nVisitsCopy; in If_ManCrossCut()
376 ppStore[pObj->Level] = pObj; in If_ManReverseOrder()
380 for ( pObj = ppStore[i]; pObj; pObj = (If_Obj_t *)pObj->pCopy ) in If_ManReverseOrder()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigDup.c66 pObj->pData = Aig_And( pAigNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Saig_ManDupOrpos()
112 pObj->pData = Aig_And( pAigNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Saig_ManCreateEquivMiter()
169 pObj->pData = Aig_And( pNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Saig_ManTrimPis()
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()
408 pObj->fMarkB = (Aig_ObjFanin0(pObj)->fMarkB ^ Aig_ObjFaninC0(pObj)) & in Saig_ManExtendCex()
411 pObj->fMarkB = Aig_ObjFanin0(pObj)->fMarkB ^ Aig_ObjFaninC0(pObj); in Saig_ManExtendCex()
449 pObj->fMarkB = (Aig_ObjFanin0(pObj)->fMarkB ^ Aig_ObjFaninC0(pObj)) & in Saig_ManFindFailedPoCex()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaDup.c275 pObj = Gia_ObjRoToRi( p, pObj ); in Gia_ManDupAbs()
286 pObj = Gia_ObjRoToRi( p, pObj ); in Gia_ManDupAbs()
620 pObj->Value = Gia_ObjFanin0Copy(pObj); in Gia_ManDupFlip()
654 pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) & in Gia_ManCycle()
657 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Gia_ManCycle()
1206 pObj->Value = Gia_ObjFanin0Copy(pObj); in Gia_ManDupSelf()
1777 pObj->Value = Gia_ObjFanin0Copy(pObj); in Gia_ManDupExist()
1823 pObj->Value = Gia_ObjFanin0Copy(pObj); in Gia_ManDupUniv()
1872 pObj->Value = Gia_ObjFanin0Copy(pObj); in Gia_ManDupExist2()
3788 if ( pObj->fMark0 && pObj->fMark1 ) in Gia_ManDupSliced()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/ret/
H A DretFlow.c107 Abc_Obj_t * pObj; in Abc_NtkMaxFlowTest() local
112 pObj->fMarkA = 1; in Abc_NtkMaxFlowTest()
114 pObj->fMarkA = Abc_ObjFanin0(pObj)->fMarkA = 1; in Abc_NtkMaxFlowTest()
124 pObj->fMarkA = Abc_ObjFanout0(pObj)->fMarkA = 1; in Abc_NtkMaxFlowTest()
490 Abc_Obj_t * pObj; in Abc_NtkMaxFlowMinCut() local
526 pObj->fMarkA = 1; in Abc_NtkMaxFlowMarkCut_rec()
609 pObj->fMarkA = Abc_NodeIsTravIdCurrent(pObj); in Abc_NtkMaxFlowMinCutUpdate()
670 Abc_Obj_t * pObj; in Abc_NtkMaxFlowVerifyCut() local
769 Abc_Obj_t * pObj; in Abc_NtkMaxFlowPrintCut() local
773 printf( "%s(%d) ", Abc_ObjName(pObj), pObj->Id ); in Abc_NtkMaxFlowPrintCut()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcCexCut.c153 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_GiaGenerateJust()
154 pObj->fMark1 = Gia_ObjFanin0(pObj)->fMark1; 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()
297 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()
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()
427 pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj); in Bmc_GiaGenerateGiaAllOne()
[all …]
H A DbmcCexMin2.c88 …if ( (pObj->fMark0 = (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) & (Gia_ObjFanin1(pObj)->… in Gia_ManAnnotateUnrolling()
91 if ( (pObj->fMark0 = Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) ) in Gia_ManAnnotateUnrolling()
113 if ( (Gia_ObjFanin0(pObj)->fMark0 = pObj->fMark0) ) in Gia_ManAnnotateUnrolling()
210 pObj->Value = (Gia_ManGetTwo(p, iFrame, pObj) >> 1); in Gia_ManCreateUnate()
223 pObj->Value = (Gia_ManGetTwo(p, f, pObj) >> 1); in Gia_ManCreateUnate()
228 pObj->Value = (Gia_ManGetTwo(p, f, pObj) >> 1); in Gia_ManCreateUnate()
234 pObj->Value = (Gia_ManGetTwo(p, f, pObj) >> 1); in Gia_ManCreateUnate()
262 pObj->Value = Gia_ObjFanin0(pObj)->Value; in Gia_ManCreateUnate()
281 pObj->Value = Gia_ObjFanin0(pObj)->Value; in Gia_ManCreateUnate()
283 pObj->Value = Gia_ObjFanin1(pObj)->Value; in Gia_ManCreateUnate()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcWin.c52 pObj->Type == WLC_OBJ_ARI_MULTI || pObj->Type == WLC_OBJ_ARI_MINUS; in Wlc_ObjIsArithm()
58 pObj->Type == WLC_OBJ_ARI_MULTI || pObj->Type == WLC_OBJ_ARI_MINUS; in Wlc_ObjIsArithmReal()
62 Wlc_Obj_t * pObj; in Wlc_ManCountArithmReal() local
72 if ( pObj->Type == WLC_OBJ_BUF || pObj->Type == WLC_OBJ_BIT_NOT || in Wlc_ObjHasArithm_rec()
76 pObj->Type == WLC_OBJ_ARI_MULTI || pObj->Type == WLC_OBJ_ARI_MINUS; in Wlc_ObjHasArithm_rec()
90 if ( pObj->Mark ) in Wlc_WinCompute_rec()
92 pObj->Mark = 1; in Wlc_WinCompute_rec()
105 if ( !pObj->Mark ) in Wlc_WinCleanMark_rec()
107 pObj->Mark = 0; in Wlc_WinCleanMark_rec()
138 pObj->Mark = 0; in Wlc_WinProfileArith()
[all …]
H A DwlcWriteVer.c101 Wlc_Obj_t * pObj; in Wlc_WriteAddPos() local
105 if ( pObj->Type != WLC_OBJ_PI && pObj->Type != WLC_OBJ_MUX ) in Wlc_WriteAddPos()
159 Wlc_Obj_t * pObj; in Wlc_WriteVerInt() local
174 if ( pObj->Type == WLC_OBJ_ROTATE_R || pObj->Type == WLC_OBJ_ROTATE_L ) in Wlc_WriteVerInt()
178 …s = Abc_Base10Log(Abc_AbsInt(pObj->End)+1) + Abc_Base10Log(Abc_AbsInt(pObj->Beg)+1) + (int)(pObj… in Wlc_WriteVerInt()
188 else if ( pObj->fIsPo || (fNoFlops && pObj->fIsFi) ) in Wlc_WriteVerInt()
192 if ( Wlc_ObjIsCi(pObj) || pObj->fIsPo || (fNoFlops && pObj->fIsFi) ) in Wlc_WriteVerInt()
199 if ( (pObj->fIsPo || (fNoFlops && pObj->fIsFi)) && pObj->Type != WLC_OBJ_FF ) in Wlc_WriteVerInt()
205 … else if ( (pObj->Type == WLC_OBJ_MUX && Wlc_ObjFaninNum(pObj) > 3) || pObj->Type == WLC_OBJ_SEL ) in Wlc_WriteVerInt()
256 else if ( pObj->Type == WLC_OBJ_MUX && Wlc_ObjFaninNum(pObj) > 3 ) in Wlc_WriteVerInt()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcHaig.c49 Hop_Obj_t * pObj; in Abc_NtkHaigCollectMembers() local
56 pObj->pData = Hop_ObjRepr( pObj ); in Abc_NtkHaigCollectMembers()
96 pObj->pData = pObj; in Abc_NtkHaigCreateClasses()
112 assert( ((Hop_Obj_t *)pObj->pData)->Id <= pObj->Id ); in Abc_NtkHaigCreateClasses()
126 if ( pObj->pData == pObj ) in Abc_NtkHaigCreateClasses()
161 Hop_Obj_t * pObj; in Abc_NtkHaigCountFans() local
243 pObj->pNext = Hop_And( pNew, Hop_ObjChild0Hop(pObj), Hop_ObjChild1Hop(pObj) ); in Abc_NtkHaigReconstruct()
380 if ( pObj->pData == pObj ) in Abc_NtkHaigRecreateAig()
469 if ( pObj->pData == pObj ) in Abc_NtkHaigResetReprs()
492 pObj->pData = pObj; in Abc_NtkHaigResetReprs()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsRefJ.c115 assert( Gia_ObjIsConst0(pObj) || pObj->Value ); in Rf2_ManObj()
291 assert( Gia_ObjIsCi(pObj) || Gia_ObjIsAnd(pObj) ); in Rf2_ManCollect()
325 assert( Gia_ObjIsCi(pObj) || Gia_ObjIsAnd(pObj) ); in Rf2_ManSensitize()
337 assert( Gia_ObjIsRo(p->pGia, pObj) || Gia_ObjIsAnd(pObj) || Gia_ObjIsCo(pObj) ); in Rf2_ManSensitize()
465 pObj = Gia_ObjRoToRi(p->pGia, pObj); in Rf2_ManGatherFanins_rec()
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()
763 …else if ( (Gia_ObjFanin0(pObj)->fMark0 ^ Gia_ObjFaninC0(pObj)) == 0 && (Gia_ObjFanin1(pObj)->fMark… 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 …]

12345678910>>...107