Searched refs:pNtkF (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbUtil.c | 670 if ( pNtkF && pNtkG ) in Acb_NtkExtract() 672 int nTargets = Vec_IntSize(&pNtkF->vTargets); in Acb_NtkExtract() 673 Gia_Man_t * pGiaF = Acb_NtkToGia2( pNtkF, fUseXors, &pNtkF->vTargets, 0 ); in Acb_NtkExtract() 675 assert( Acb_NtkCiNum(pNtkF) == Acb_NtkCiNum(pNtkG) ); in Acb_NtkExtract() 676 assert( Acb_NtkCoNum(pNtkF) == Acb_NtkCoNum(pNtkG) ); in Acb_NtkExtract() 682 if ( pNtkF ) Acb_ManFree( pNtkF->pDesign ); in Acb_NtkExtract() 782 if ( pNtkF && pNtkG ) in Abc_NtkExtract() 784 Gia_Man_t * pGiaF = Abc_NtkToGia2( pNtkF, fUseXors ); in Abc_NtkExtract() 786 assert( Abc_NtkCiNum(pNtkF) == Abc_NtkCiNum(pNtkG) ); in Abc_NtkExtract() 787 assert( Abc_NtkCoNum(pNtkF) == Abc_NtkCoNum(pNtkG) ); in Abc_NtkExtract() [all …]
|
H A D | acbFunc.c | 2155 …ntf( "%d=%s(w=%d) ", Vec_IntEntry(vUsed, i), Acb_ObjNameStr(pNtkF, iObj), Acb_ObjWeight(pNtkF, iOb… in Acb_PrintPatch() 2156 Weight += Acb_ObjWeight(pNtkF, iObj); in Acb_PrintPatch() 2487 int nTargets = Vec_IntSize(&pNtkF->vTargets); in Acb_NtkEcoPerform() 2493 Vec_Int_t * vRoots = Acb_NtkFindRoots( pNtkF, &pNtkF->vTargets, &vBlock ); in Acb_NtkEcoPerform() 2497 …Vec_Int_t * vDivs = fCisOnly ? Acb_NtkFindDivsCis( pNtkF, vSupp ) : Acb_NtkFindDivs( pNtkF, vSup… in Acb_NtkEcoPerform() 2502 Gia_Man_t * pGiaF = Acb_NtkToGia( pNtkF, vSupp, vNodesF, vRoots, vDivs, &pNtkF->vTargets ); in Acb_NtkEcoPerform() 2646 vInst = Acb_GenerateInstance( pNtkF, vDivs, vUsed, &pNtkF->vTargets ); in Acb_NtkEcoPerform() 2647 vPatch = Acb_GeneratePatch( pNtkF, vDivs, vUsed, vFuncs, vGias, &pNtkF->vTargets ); in Acb_NtkEcoPerform() 2651 Acb_PrintPatch( pNtkF, vDivs, vUsed, clk ); in Acb_NtkEcoPerform() 2727 if ( !pNtkF || !pNtkG ) in Acb_NtkRunEco() [all …]
|