Home
last modified time | relevance | path

Searched refs:pNtkF (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbUtil.c670 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 DacbFunc.c2155 …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 …]