Home
last modified time | relevance | path

Searched refs:Ivy_ObjFanin1 (Results 1 – 21 of 21) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyCheck.c78 if ( Ivy_ObjFanin1(pObj) ) in Ivy_ManCheck()
87 if ( Ivy_ObjFanin1(pObj) ) in Ivy_ManCheck()
103 if ( !Ivy_ObjFanin0(pObj) || !Ivy_ObjFanin1(pObj) ) in Ivy_ManCheck()
194 pFanin = Ivy_ObjFanin1(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()
221 Ivy_ObjFanin0(pObj->pPrevFan1) != Ivy_ObjFanin1(pObj) && in Ivy_ManCheckFanouts()
222 Ivy_ObjFanin1(pObj->pPrevFan1) != Ivy_ObjFanin0(pObj) && in Ivy_ManCheckFanouts()
223 Ivy_ObjFanin1(pObj->pPrevFan1) != Ivy_ObjFanin1(pObj) ) in Ivy_ManCheckFanouts()
[all …]
H A DivyObj.c109 pObj->fFailTfo = Ivy_ObjFanin0(pObj)->fFailTfo | Ivy_ObjFanin1(pObj)->fFailTfo; in Ivy_ObjCreate()
114 Ivy_ObjFanin1(pObj)->fExFan = 1; in Ivy_ObjCreate()
164 if ( Ivy_ObjFanin1(pObj) != NULL ) in Ivy_ObjConnect()
166 Ivy_ObjRefsInc( Ivy_ObjFanin1(pObj) ); in Ivy_ObjConnect()
168 Ivy_ObjAddFanout( p, Ivy_ObjFanin1(pObj), pObj ); in Ivy_ObjConnect()
198 Ivy_ObjRefsDec(Ivy_ObjFanin1(pObj)); in Ivy_ObjDisconnect()
200 Ivy_ObjDeleteFanout( p, Ivy_ObjFanin1(pObj), pObj ); in Ivy_ObjDisconnect()
307 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_ObjDelete_rec()
384 assert( Ivy_ObjFanin1(pObjNew) == NULL || pObjOld != Ivy_ObjFanin1(pObjNew) ); in Ivy_ObjReplace()
401 if ( Ivy_ObjFanin1(pObjOld) ) in Ivy_ObjReplace()
[all …]
H A DivyFanout.c39 assert( Ivy_ObjFanin1(pFanout) == pObj ); in Ivy_ObjNextFanout()
52 assert( Ivy_ObjFanin1(pFanout) == pObj ); in Ivy_ObjPrevFanout()
63 assert( Ivy_ObjFanin1(pFanout) == pObj ); in Ivy_ObjNextFanoutPlace()
74 assert( Ivy_ObjFanin1(pFanout) == pObj ); in Ivy_ObjPrevFanoutPlace()
89 assert( Ivy_ObjFanin1(pTemp) == pObj ); in Ivy_ObjPrevNextFanoutPlace()
104 assert( Ivy_ObjFanin1(pTemp) == pObj ); in Ivy_ObjNextPrevFanoutPlace()
146 if ( Ivy_ObjFanin1(pObj) ) in Ivy_ManStartFanout()
147 Ivy_ObjAddFanout( p, Ivy_ObjFanin1(pObj), pObj ); in Ivy_ManStartFanout()
H A DivyUtil.c90 Ivy_ManCollectCut_rec( p, Ivy_ObjFanin1(pNode), vNodes ); in Ivy_ManCollectCut_rec()
156 pTruth1 = Ivy_ObjGetTruthStore( Ivy_ObjFanin1(pNode)->TravId, vTruth ); in Ivy_ManCutTruthOne()
277 Ivy_ManResetLevels_rec( Ivy_ObjFanin1(pObj) ); in Ivy_ManResetLevels_rec()
326 pNode1 = Ivy_ObjFanin1(pNode); in Ivy_ObjRefDeref()
460 pFanin = Ivy_ObjFanin1(pObj); in Ivy_ObjUpdateLevelR_rec()
492 pNode1 = Ivy_ObjFanin1(pNode); in Ivy_ObjIsMuxType()
524 pNode1 = Ivy_ObjFanin1(pNode); in Ivy_ObjRecognizeMux()
648 Ivy_ObjFanin1(pObj)->Id, (Ivy_ObjFaninC1(pObj)? "\'" : " ") ); in Ivy_ObjPrintVerbose()
670 Ivy_ObjFanin1(pFanout)->Id, (Ivy_ObjFaninC1(pFanout)? "\'" : " ") ); in Ivy_ObjPrintVerbose()
H A DivyCutTrav.c98 vCuts1 = Vec_VecEntry( vBitCuts, Ivy_ObjTravId( Ivy_ObjFanin1(pLeaf) ) ); in Ivy_NodeFindCutsTravAll()
188 Ivy_NodeComputeVolumeTrav1_rec( Ivy_ObjFanin1(pObj), Depth - 1 ); in Ivy_NodeComputeVolumeTrav1_rec()
208 Ivy_NodeComputeVolumeTrav2_rec( Ivy_ObjFanin1(pObj), vNodes ); in Ivy_NodeComputeVolumeTrav2_rec()
242 pFanin = Ivy_ObjFanin1(pTemp); in Ivy_NodeComputeVolume()
321 pFanin = Ivy_ObjFanin1(pPivot); in Ivy_NodeComputeVolume2()
H A DivyFastMap.c383 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_FastMapNodeArea2()
455 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_FastMapNodeArea()
585 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_FastMapNode()
591 pFaninB = Ivy_ObjFanin1(pFanin0); in Ivy_FastMapNode()
606 pFaninB = Ivy_ObjFanin1(pFanin1); in Ivy_FastMapNode()
626 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_FastMapNode()
660 pFaninB = Ivy_ObjFanin1(pFanin0); in Ivy_FastMapNode()
675 pFaninB = Ivy_ObjFanin1(pFanin1); in Ivy_FastMapNode()
1144 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_FastMapNodeWillGrow()
1175 pFanin = Ivy_ObjFanin1(pObj); in Ivy_FastMapNodeFaninCost()
[all …]
H A DivyCut.c247 RetValue1 = Ivy_ManFindBoolCut_rec( p, Ivy_ObjFanin1(pObj), vLeaves, vVolume, pPivot ); in Ivy_ManFindBoolCut_rec()
258 Vec_PtrPushUnique( vLeaves, Ivy_ObjFanin1(pObj) ); in Ivy_ManFindBoolCut_rec()
259 Vec_PtrPushUnique( vVolume, Ivy_ObjFanin1(pObj) ); in Ivy_ManFindBoolCut_rec()
288 Cost = (!Ivy_ObjFanin0(pObj)->fMarkA) + (!Ivy_ObjFanin1(pObj)->fMarkA); in Ivy_ManFindBoolCutCost()
319 pFanin1 = Ivy_ObjFanin1(pRoot); in Ivy_ManFindBoolCut()
372 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_ManFindBoolCut()
445 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_ManFindBoolCut()
936 iLeaf1 = Ivy_ObjId( Ivy_ObjRealFanin(Ivy_ObjFanin1(pLeaf)) ); in Ivy_NodeFindCutsAll()
H A DivyRwrAlg.c156 Ivy_ObjRefsDec( Ivy_ObjFanin1(pTemp) ); in Ivy_NodeRewriteAlg()
193 Ivy_ObjRefsInc( Ivy_ObjFanin1(pTemp) ); in Ivy_NodeRewriteAlg()
226 …return 1 + Ivy_NodeCountMffc_rec( Ivy_ObjFanin0(pNode) ) + Ivy_NodeCountMffc_rec( Ivy_ObjFanin1(pN… in Ivy_NodeCountMffc_rec()
243 …return 1 + Ivy_NodeCountMffc_rec( Ivy_ObjFanin0(pNode) ) + Ivy_NodeCountMffc_rec( Ivy_ObjFanin1(pN… in Ivy_NodeCountMffc()
H A DivyDfs.c66 Ivy_ManDfs_rec( p, Ivy_ObjFanin1(pObj), vNodes ); in Ivy_ManDfs_rec()
180 Ivy_ManCollectCone_rec( Ivy_ObjFanin1(pObj), vCone ); in Ivy_ManCollectCone_rec()
344 if ( Ivy_ObjIsNode(pObj) && !Ivy_ManIsAcyclic_rec(p, Ivy_ObjFanin1(pObj)) ) in Ivy_ManIsAcyclic_rec()
421 Ivy_ManSetLevels_rec( Ivy_ObjFanin1(pObj), fHaig ); in Ivy_ManSetLevels_rec()
H A DivyCanon.c57 if ( !Ivy_ObjIsLatch(Ivy_ObjFanin0(pGhost)) || !Ivy_ObjIsLatch(Ivy_ObjFanin1(pGhost)) ) in Ivy_CanonPair_rec()
65 pLat1 = Ivy_ObjFanin1(pGhost); in Ivy_CanonPair_rec()
H A DivyHaig.c230 … if ( Ivy_ObjIsNode(pObjNew) && Ivy_ObjIsInTfi_rec( Ivy_ObjFanin1(pObjNew), pObjOld, Levels - 1 ) ) in Ivy_ObjIsInTfi_rec()
464 …ted node %d with fanins %d and %d\n", pObj->Id, Ivy_ObjFanin0(pObj)->Id, Ivy_ObjFanin1(pObj)->Id ); in Ivy_ManHaigSimulate()
492 …ing node %d with fanins %d and %d\n", pObj->Id, Ivy_ObjFanin0(pObj)->Id, Ivy_ObjFanin1(pObj)->Id ); in Ivy_ManHaigSimulate()
494 In1 = Ivy_InitNotCond( (Ivy_Init_t)Ivy_ObjFanin1(pObj)->Init, Ivy_ObjFaninC1(pObj) ); in Ivy_ManHaigSimulate()
H A Divy.h272 static inline Ivy_Obj_t * Ivy_ObjFanin1( Ivy_Obj_t * pObj ) { return Ivy_Regular(pObj->pFanin… in Ivy_ObjFanin1() function
276 …* pObj ) { assert( !Ivy_IsComplement(pObj) ); return Ivy_ObjFanin1(pObj)? Ivy_NotCond(Ivy_ObjFanin… in Ivy_ObjChild1Equiv()
279 … return 1 + Ivy_ObjIsExor(pObj) + IVY_MAX(Ivy_ObjFanin0(pObj)->Level, Ivy_ObjFanin1(pObj)->Level);… in Ivy_ObjLevelNew()
297 if ( Ivy_ObjFanin1(pObj) == pFanin ) return 1; in Ivy_ObjWhatFanin()
303 if ( Ivy_ObjFanin1(pFanout) == pObj ) return Ivy_ObjFaninC1(pObj); in Ivy_ObjFanoutC()
H A DivyOper.c39 if ( Ivy_ObjFanin0(p0) != Ivy_ObjFanin0(p1) || Ivy_ObjFanin1(p0) != Ivy_ObjFanin1(p1) ) in Ivy_ObjIsExorType()
H A DivyFraig.c588 pSims->pFanin1 = Ivy_ObjSim( Ivy_ObjFanin1(pObj) ); in Ivy_FraigStart()
896 pSims1 = Ivy_ObjSim(Ivy_ObjFanin1(pObj)); in Ivy_NodeSimulate()
2568 Vec_PtrPushUnique( vFanins, Ivy_ObjFanin0( Ivy_ObjFanin1(pNode) ) ); in Ivy_FraigNodeAddToSolver()
2569 Vec_PtrPushUnique( vFanins, Ivy_ObjFanin1( Ivy_ObjFanin0(pNode) ) ); in Ivy_FraigNodeAddToSolver()
2570 Vec_PtrPushUnique( vFanins, Ivy_ObjFanin1( Ivy_ObjFanin1(pNode) ) ); in Ivy_FraigNodeAddToSolver()
2708 pFanin = Ivy_ObjFanin1(pObj); in Ivy_FraigNodesAreEquivBdd_int()
2726 … Cudd_NotCond( Cudd_bddIthVar(dd, Ivy_ObjFanin1(pObj)->TravId), Ivy_ObjFaninC1(pObj) ) ); in Ivy_FraigNodesAreEquivBdd_int()
2852 Ivy_FraigExtractCone_rec( p, Ivy_ObjFanin1(pNode), vLeaves, vNodes ); in Ivy_FraigExtractCone_rec()
H A DivyTable.c80 … if ( Ivy_ObjFanin0(pObj)->nRefs == 0 || (Ivy_ObjChild1(pObj) && Ivy_ObjFanin1(pObj)->nRefs == 0) ) in Ivy_TableLookup()
H A DivyMulti.c98 …Obj->TravId].Mask = pEvals[Ivy_ObjFanin0(pObj)->TravId].Mask | pEvals[Ivy_ObjFanin1(pObj)->TravId]… in Ivy_MultiPlus()
H A DivyShow.c296 …fprintf( pFile, "Node%d%s", Ivy_ObjFaninId1(pNode), (Ivy_ObjIsLatch(Ivy_ObjFanin1(pNode))? "_out"… in Ivy_WriteDotAig()
H A DivySeq.c87 assert( !Ivy_ObjIsBuf(Ivy_ObjFanin1(pNode)) ); in Ivy_ManRewriteSeq()
1066 iLeaf1 = Ivy_CutReadLeaf( Ivy_ObjFanin1(pLeaf) ); in Ivy_CutComputeForNode()
H A DivyMan.c297 Ivy_ManCleanupSeq_rec( Ivy_ObjFanin1(pObj) ); in Ivy_ManCleanupSeq_rec()
H A DivyRwr.c326 uTruth1 = Ivy_NodeGetTruth_rec( Ivy_ObjFanin1(pObj), pNums, nNums ); in Ivy_NodeGetTruth_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcIvy.c66 …_t * p, Ivy_Obj_t * pObj ) { return Abc_ObjNotCond( Abc_EdgeToNode(p, Ivy_ObjFanin1(pObj)->TravId)… in Abc_ObjFanin1Ivy()