Home
last modified time | relevance | path

Searched refs:Bac_NtkPiNum (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A Dbac.h220 static inline int Bac_NtkPiNum( Bac_Ntk_t * p ) { return Vec_IntSize(&… in Bac_NtkPiNum() function
222 static inline int Bac_NtkPioNum( Bac_Ntk_t * p ) { return Bac_NtkPiNum(… in Bac_NtkPioNum()
227 static inline int Bac_NtkCiNum( Bac_Ntk_t * p ) { return Bac_NtkPiNum(… in Bac_NtkCiNum()
338 for ( i = 0; (i < Bac_NtkPiNum(p)) && (((iObj) = Bac_NtkPi(p, i)), 1); i++ )
345 …for ( i = 0; (i < Bac_NtkPiNum(p)) && (((iObj) = Bac_NtkPi(p, i)), 1); i++ ) if ( Bac_ObjBit(p, …
537 assert( Bac_NtkPiNum(pNew) == 0 ); in Bac_NtkAlloc()
558 Bac_NtkAlloc( pNew, Bac_NtkNameId(p), Bac_NtkPiNum(p), Bac_NtkPoNum(p), Bac_NtkObjNum(p) ); in Bac_NtkDup()
579 …Bac_NtkAlloc( pNew, Bac_NtkNameId(p), Bac_NtkPiNum(p), Bac_NtkPoNum(p), Bac_NtkObjNum(p) + 3*Bac_N… in Bac_NtkDupUserBoxes()
647 printf( "pi =%5d ", Bac_NtkPiNum(p) ); in Bac_NtkPrintStats()
850 printf( "pi =%5d ", Bac_NtkPiNum(pRoot) ); in Bac_ManPrintStats()
H A DbacBac.c116 assert( Bac_NtkPiNum(pNtk) == Bac_NtkPiNumAlloc(pNtk) ); in Bac_ManReadBacNtk()
266 Bac_NtkPiNum(pNtk), Bac_NtkPoNum(pNtk), Bac_NtkObjNum(pNtk), Bac_NtkInfoNum(pNtk) ); in Bac_ManWriteBacInt()
H A DbacNtk.c368 assert( nPis == Bac_NtkPiNum(p) ); in Bac_ManAssignInternWordNamesNtk()
528 assert( Vec_IntSize(vSigs) == Bac_NtkPiNum(p) ); in Bac_NtkCollapse_rec()
574 …Bac_NtkAlloc( pRootNew, Bac_NtkNameId(pRoot), Bac_NtkPiNum(pRoot), Bac_NtkPoNum(pRoot), Bac_ManClp… in Bac_ManCollapse()
H A DbacPtrAbc.c433 Vec_Ptr_t * vSigs = Vec_PtrAllocExact( Bac_NtkPiNum(p) ); in Bac_NtkTransformToPtrInputs()