Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyDfs.c303 … fprintf( stdout, "Node \"%d\" is encountered twice on the following path:\n", Ivy_ObjId(pObj) ); in Ivy_ManIsAcyclic_rec()
304 fprintf( stdout, " %d", Ivy_ObjId(pObj) ); in Ivy_ManIsAcyclic_rec()
320 fprintf( stdout, " -> (%d", Ivy_ObjId(pObj) ); in Ivy_ManIsAcyclic_rec()
322 fprintf( stdout, " %d", Ivy_ObjId(pTemp) ); in Ivy_ManIsAcyclic_rec()
340 fprintf( stdout, " -> %d", Ivy_ObjId(pObj) ); in Ivy_ManIsAcyclic_rec()
347 fprintf( stdout, " -> %d", Ivy_ObjId(pObj) ); in Ivy_ManIsAcyclic_rec()
391 …fprintf( stdout, " (cone of %s \"%d\")\n", Ivy_ObjIsLatch(pObj)? "latch" : "PO", Ivy_ObjId(pObj) ); in Ivy_ManIsAcyclic()
H A DivyFastMap.c593 pSupp->pArray[(int)(pSupp->nSize++)] = Ivy_ObjId(pFanin0); in Ivy_FastMapNode()
596 pSupp->pArray[(int)(pSupp->nSize++)] = Ivy_ObjId(pFaninA); in Ivy_FastMapNode()
597 pSupp->pArray[(int)(pSupp->nSize++)] = Ivy_ObjId(pFaninB); in Ivy_FastMapNode()
601 pSupp->pArray[(int)(pSupp->nSize++)] = Ivy_ObjId(pFanin0); in Ivy_FastMapNode()
608 pSupp->pArray[(int)(pSupp->nSize++)] = Ivy_ObjId(pFanin1); in Ivy_FastMapNode()
611 pSupp->pArray[(int)(pSupp->nSize++)] = Ivy_ObjId(pFaninA); in Ivy_FastMapNode()
616 pSupp->pArray[(int)(pSupp->nSize++)] = Ivy_ObjId(pFanin1); in Ivy_FastMapNode()
637 pSupp1->pArray[0] = Ivy_ObjId(pFanin1); in Ivy_FastMapNode()
648 pSupp0->pArray[0] = Ivy_ObjId(pFanin0); in Ivy_FastMapNode()
670 pSupp->pArray[(int)(pSupp->nSize++)] = Ivy_ObjId(pFanin0); in Ivy_FastMapNode()
[all …]
H A DivyCheck.c52 if ( Ivy_ObjId(pObj) != i ) in Ivy_ManCheck()
H A Divy.h260 static inline int Ivy_ObjId( Ivy_Obj_t * pObj ) { return pObj->Id; … in Ivy_ObjId() function
267 static inline int Ivy_ObjFaninId0( Ivy_Obj_t * pObj ) { return pObj->pFanin0? Ivy_ObjId… in Ivy_ObjFaninId0()
268 static inline int Ivy_ObjFaninId1( Ivy_Obj_t * pObj ) { return pObj->pFanin1? Ivy_ObjId… in Ivy_ObjFaninId1()
H A DivyUtil.c634 printf( "Node %5d : ", Ivy_ObjId(pObj) ); in Ivy_ObjPrintVerbose()
660 printf( "Node %5d : ", Ivy_ObjId(pFanout) ); in Ivy_ObjPrintVerbose()
H A DivyMulti.c180 printf( "%2d (id = %5d) : |", i-nLeaves, Ivy_ObjId(pEval->pArg) ); in Ivy_MultiPrint()
H A DivyCut.c935 iLeaf0 = Ivy_ObjId( Ivy_ObjRealFanin(Ivy_ObjFanin0(pLeaf)) ); in Ivy_NodeFindCutsAll()
936 iLeaf1 = Ivy_ObjId( Ivy_ObjRealFanin(Ivy_ObjFanin1(pLeaf)) ); in Ivy_NodeFindCutsAll()
H A DivyCutTrav.c118 pCut->pArray[ pCut->nSize++ ] = Ivy_ObjId( (Ivy_Obj_t *)Vec_PtrEntry(vNodes, k) ); in Ivy_NodeFindCutsTravAll()
H A DivyRwr.c289 printf( "Node %6d : ", Ivy_ObjId(pNode) ); in Ivy_NodeRewrite()
H A DivySeq.c287 printf( "Node %6d : ", Ivy_ObjId(pNode) ); in Ivy_NodeRewriteSeq()