Home
last modified time | relevance | path

Searched refs:Ivy_ManPoNum (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyMan.c182 nPos = Ivy_ManPoNum(pMan) - nLatches; in Ivy_ManFrames()
458 printf( "PI/PO = %d/%d ", Ivy_ManPiNum(p), Ivy_ManPoNum(p) ); in Ivy_ManPrintStats()
489 assert( nLatches < Ivy_ManPiNum(p) && nLatches < Ivy_ManPoNum(p) ); in Ivy_ManMakeSeq()
491 assert( Ivy_ManPoNum(p) == Vec_PtrSize(p->vPos) ); in Ivy_ManMakeSeq()
502 pObj = Ivy_ManPo( p, Ivy_ManPoNum(p) - nLatches + i ); in Ivy_ManMakeSeq()
517 Vec_PtrShrink( p->vPos, Ivy_ManPoNum(p) - nLatches ); in Ivy_ManMakeSeq()
H A DivyFraig.c284 pIvyParams->nBTLimitMiter = pParams->nMiteringLimitLast / Ivy_ManPoNum(pManAig); in Ivy_FraigProve()
296 pIvyParams->nBTLimitMiter = pParams->nMiteringLimitStart / Ivy_ManPoNum(pManAig); in Ivy_FraigProve()
343 …t)(pParams->nMiteringLimitStart * pow(pParams->nMiteringLimitMulti,nIter)) / Ivy_ManPoNum(pManAig); in Ivy_FraigProve()
1897 printf( "Output %2d (out of %2d) is constant 1. ", i, Ivy_ManPoNum(p->pManAig) ); in Ivy_FraigMiterProve()
1907 … printf( "Output %2d (out of %2d) is already constant 0. ", i, Ivy_ManPoNum(p->pManAig) ); in Ivy_FraigMiterProve()
1914 … printf( "Output %2d (out of %2d) cannot be constant 0. ", i, Ivy_ManPoNum(p->pManAig) ); in Ivy_FraigMiterProve()
1933 … printf( "Output %2d (out of %2d) was proved constant 0. ", i, Ivy_ManPoNum(p->pManAig) ); in Ivy_FraigMiterProve()
1941 …intf( "Output %2d (out of %2d) has timed out at %d backtracks. ", i, Ivy_ManPoNum(p->pManAig), p-… in Ivy_FraigMiterProve()
1946 … printf( "Output %2d (out of %2d) was proved NOT a constant 0. ", i, Ivy_ManPoNum(p->pManAig) ); in Ivy_FraigMiterProve()
H A Divy.h219 static inline int Ivy_ManPoNum( Ivy_Man_t * p ) { return p->nObjs[IVY_PO]; … in Ivy_ManPoNum() function