Home
last modified time | relevance | path

Searched refs:Abc_NtkObjNum (Results 1 – 15 of 15) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcIf.c224 if ( 1.0 * Abc_NtkObjNum(pNtk) * pIfMan->nObjBytes / (1<<30) > 1.0 ) in Abc_NtkToIf()
226 1.0 * Abc_NtkObjNum(pNtk) * pIfMan->nObjBytes / (1<<30), Abc_NtkObjNum(pNtk) ); in Abc_NtkToIf()
H A DabcMfs.c97 Vec_Int_t * vStarts = Vec_IntStart( Abc_NtkObjNum(pNtk) ); in Abc_NtkAssignStarts()
436 *piPivot = Abc_NtkObjNum(pNtk); in Abc_NtkUnrollAndDrop()
H A DabcCut.c572 pObj = Abc_NtkObj( pNtk, 2 * Abc_NtkObjNum(pNtk) / 3 ); in Abc_NtkPrintCuts_()
H A DabcPart.c278 vNodes = Vec_PtrAlloc( Abc_NtkObjNum(pNtk) ); in Abc_NtkDfsNatural()
H A DabcPrint.c139 Memory += sizeof(Abc_Obj_t) * Abc_NtkObjNum(p); in Abc_NtkMemory()
H A DabcDar.c370 pMan->pEquivs = ABC_ALLOC( Aig_Obj_t *, Abc_NtkObjNum(pNtk) ); in Abc_NtkToDarChoices()
371 memset( pMan->pEquivs, 0, sizeof(Aig_Obj_t *) * Abc_NtkObjNum(pNtk) ); in Abc_NtkToDarChoices()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fret/
H A DfretFlow.c56 Vec_Ptr_t *vTimeIn, *qn = Vec_PtrAlloc(Abc_NtkObjNum(pNtk)); in dfsfast_preorder()
57 Vec_Int_t *qe = Vec_IntAlloc(Abc_NtkObjNum(pNtk)); in dfsfast_preorder()
H A DfretMain.c1164 assert(Abc_NtkObjNum( pNtk ) == Abc_NtkObjNum( pNtkCopy ) ); in Abc_FlowRetime_NtkDup()
H A DfretInit.c596 vprintf("\tsolving for init state (%d nodes)... ", Abc_NtkObjNum(pManMR->pInitNtk)); in Abc_FlowRetime_SolveBackwardInit()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcBarBuf.c360 vNodes = Vec_PtrAlloc( Abc_NtkObjNum(pNtk) ); in Abc_NtkToBarBufsCollect()
389 assert( Vec_PtrSize(vNodes) == Abc_NtkObjNum(pNtk) ); in Abc_NtkToBarBufsCollect()
H A DabcUtil.c2061 …cross cut size = %6d. Ratio = %6.2f %%\n", nCutSizeMax, 100.0 * nCutSizeMax/Abc_NtkObjNum(pNtk) ); in Abc_NtkCrossCut()
3217 pNew = Gia_ManStart( Abc_NtkObjNum(pNtk) ); in Abc_NtkStrashToGia()
H A Dabc.h285 static inline int Abc_NtkObjNum( Abc_Ntk_t * pNtk ) { return pNtk->nObjs; … in Abc_NtkObjNum() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioWriteDot.c234 if ( Abc_NtkObjNum(pNtk) == Vec_PtrSize(vNodes) ) in Io_WriteDotNtk()
597 if ( Abc_NtkObjNum(pNtk) == Vec_PtrSize(vNodes) ) in Io_WriteDotSeq()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cut/
H A DabcCut.c486 pObj = Abc_NtkObj( pNtk, 2 * Abc_NtkObjNum(pNtk) / 3 ); in Abc_NtkPrintCuts_()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbAbc.c51 …Acb_Ntk_t * pNtk = Acb_NtkAlloc( pMan, NameId, Abc_NtkCiNum(p), Abc_NtkCoNum(p), Abc_NtkObjNum(p) … in Acb_NtkFromAbc2()