Searched refs:Ivy_ObjFaninId1 (Results 1 – 10 of 10) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyUtil.c | 498 …(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 D | ivyTable.c | 35 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 D | ivyCheck.c | 60 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 D | ivyCut.c | 71 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 D | ivyDfs.c | 266 if ( Vec_IntEntry( vLevelsR, Ivy_ObjFaninId1(pObj) ) < Level ) in Ivy_ManRequiredLevels() 267 Vec_IntWriteEntry( vLevelsR, Ivy_ObjFaninId1(pObj), Level ); in Ivy_ManRequiredLevels()
|
H A D | ivyFastMap.c | 407 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 D | ivyCanon.c | 55 assert( Ivy_ObjFaninId0(pGhost) != 0 && Ivy_ObjFaninId1(pGhost) != 0 ); in Ivy_CanonPair_rec()
|
H A D | ivyShow.c | 296 …fprintf( pFile, "Node%d%s", Ivy_ObjFaninId1(pNode), (Ivy_ObjIsLatch(Ivy_ObjFanin1(pNode))? "_out"… in Ivy_WriteDotAig()
|
H A D | ivy.h | 268 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 D | ivySeq.c | 583 Leaf = Ivy_LeafCreate( Ivy_ObjFaninId1(pObj), Ivy_LeafLat(Leaf) ); in Ivy_CutGetTruth_rec()
|