Home
last modified time | relevance | path

Searched refs:Ivy_ObjFaninId1 (Results 1 – 10 of 10) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyUtil.c498 …(Ivy_ObjFaninId0(pNode0) == Ivy_ObjFaninId1(pNode1) && (Ivy_ObjFaninC0(pNode0) ^ Ivy_ObjFaninC1(pN… in Ivy_ObjIsMuxType()
499 …(Ivy_ObjFaninId1(pNode0) == Ivy_ObjFaninId0(pNode1) && (Ivy_ObjFaninC1(pNode0) ^ Ivy_ObjFaninC0(pN… in Ivy_ObjIsMuxType()
500 …(Ivy_ObjFaninId1(pNode0) == Ivy_ObjFaninId1(pNode1) && (Ivy_ObjFaninC1(pNode0) ^ Ivy_ObjFaninC1(pN… in Ivy_ObjIsMuxType()
544 …else if ( Ivy_ObjFaninId0(pNode0) == Ivy_ObjFaninId1(pNode1) && (Ivy_ObjFaninC0(pNode0) ^ Ivy_ObjF… in Ivy_ObjRecognizeMux()
561 …else if ( Ivy_ObjFaninId1(pNode0) == Ivy_ObjFaninId0(pNode1) && (Ivy_ObjFaninC1(pNode0) ^ Ivy_ObjF… in Ivy_ObjRecognizeMux()
578 …else if ( Ivy_ObjFaninId1(pNode0) == Ivy_ObjFaninId1(pNode1) && (Ivy_ObjFaninC1(pNode0) ^ Ivy_ObjF… in Ivy_ObjRecognizeMux()
H A DivyTable.c35 Key ^= Ivy_ObjFaninId1(pObj) * 2971; in Ivy_Hash()
79 assert( Ivy_ObjFaninId1(pObj) == 0 || Ivy_ObjFaninId0(pObj) < Ivy_ObjFaninId1(pObj) ); in Ivy_TableLookup()
H A DivyCheck.c60 if ( Ivy_ObjFaninId0(pObj) || Ivy_ObjFaninId1(pObj) || Ivy_ObjLevel(pObj) ) in Ivy_ManCheck()
69 if ( Ivy_ObjFaninId1(pObj) ) in Ivy_ManCheck()
108 if ( Ivy_ObjFaninId0(pObj) >= Ivy_ObjFaninId1(pObj) ) in Ivy_ManCheck()
H A DivyCut.c71 FaninLeaf = Ivy_LeafCreate( Ivy_ObjFaninId1(pNode), nLatches ); in Ivy_NodeGetLeafCostOne()
160 Next = Ivy_LeafCreate( Ivy_ObjFaninId1(pNode), nLatches ); in Ivy_ManSeqFindCut_int()
188 assert( Ivy_ObjFaninId1(pRoot) ); in Ivy_ManSeqFindCut()
193 Vec_IntPush( vFront, Ivy_LeafCreate(Ivy_ObjFaninId1(pRoot), 0) ); in Ivy_ManSeqFindCut()
199 Vec_IntPush( vInside, Ivy_LeafCreate(Ivy_ObjFaninId1(pRoot), 0) ); in Ivy_ManSeqFindCut()
H A DivyDfs.c266 if ( Vec_IntEntry( vLevelsR, Ivy_ObjFaninId1(pObj) ) < Level ) in Ivy_ManRequiredLevels()
267 Vec_IntWriteEntry( vLevelsR, Ivy_ObjFaninId1(pObj), Level ); in Ivy_ManRequiredLevels()
H A DivyFastMap.c407 pSupp1->pArray[0] = Ivy_ObjFaninId1(pObj); in Ivy_FastMapNodeArea2()
418 pSupp->pArray[1] = Ivy_ObjFaninId1(pObj); in Ivy_FastMapNodeArea2()
494 pSupp1->pArray[0] = Ivy_ObjFaninId1(pObj); in Ivy_FastMapNodeArea()
505 pSupp->pArray[1] = Ivy_ObjFaninId1(pObj); in Ivy_FastMapNodeArea()
559 pSupp1->pArray[0] = Ivy_ObjFaninId1(pObj); in Ivy_FastMapNode()
579 pSupp->pArray[1] = Ivy_ObjFaninId1(pObj); in Ivy_FastMapNode()
H A DivyCanon.c55 assert( Ivy_ObjFaninId0(pGhost) != 0 && Ivy_ObjFaninId1(pGhost) != 0 ); in Ivy_CanonPair_rec()
H A DivyShow.c296 …fprintf( pFile, "Node%d%s", Ivy_ObjFaninId1(pNode), (Ivy_ObjIsLatch(Ivy_ObjFanin1(pNode))? "_out"… in Ivy_WriteDotAig()
H A Divy.h268 static inline int Ivy_ObjFaninId1( Ivy_Obj_t * pObj ) { return pObj->pFanin1? Ivy_ObjId… in Ivy_ObjFaninId1() function
321 if ( p1 && Ivy_ObjFaninId0(pGhost) > Ivy_ObjFaninId1(pGhost) ) in Ivy_ObjCreateGhost()
H A DivySeq.c583 Leaf = Ivy_LeafCreate( Ivy_ObjFaninId1(pObj), Ivy_LeafLat(Leaf) ); in Ivy_CutGetTruth_rec()