Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbUtil.c668 Acb_Ntk_t * pNtkG = Acb_VerilogSimpleRead( pFileName1, NULL ); in Acb_NtkExtract() local
670 if ( pNtkF && pNtkG ) in Acb_NtkExtract()
674 Gia_Man_t * pGiaG = Acb_NtkToGia2( pNtkG, 0, NULL, nTargets ); 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()
683 if ( pNtkG ) Acb_ManFree( pNtkG->pDesign ); in Acb_NtkExtract()
782 if ( pNtkF && pNtkG ) in Abc_NtkExtract()
785 Gia_Man_t * pGiaG = Abc_NtkToGia2( pNtkG, 0 ); 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.c2482 int Acb_NtkEcoPerform( Acb_Ntk_t * pNtkF, Acb_Ntk_t * pNtkG, char * pFileName[4], int fCisOnly, int… in Acb_NtkEcoPerform() argument
2495 Vec_Int_t * vSuppG = Acb_NtkFindSupp( pNtkG, vRoots ); in Acb_NtkEcoPerform()
2499 Vec_Int_t * vNodesG = Acb_NtkFindNodes( pNtkG, vRoots, NULL ); in Acb_NtkEcoPerform()
2503 Gia_Man_t * pGiaG = Acb_NtkToGia( pNtkG, vSupp, vNodesG, vRoots, NULL, NULL ); in Acb_NtkEcoPerform()
2726 Acb_Ntk_t * pNtkG = Acb_VerilogSimpleRead( pFileNames[1], NULL ); in Acb_NtkRunEco() local
2727 if ( !pNtkF || !pNtkG ) in Acb_NtkRunEco()
2735 assert( Acb_NtkCiNum(pNtkF) == Acb_NtkCiNum(pNtkG) ); in Acb_NtkRunEco()
2736 assert( Acb_NtkCoNum(pNtkF) == Acb_NtkCoNum(pNtkG) ); in Acb_NtkRunEco()
2740 if ( !Acb_NtkEcoPerform( pNtkF, pNtkG, pFileNames, 0, fCheck, fVerbose ) ) in Acb_NtkRunEco()
2743 if ( !Acb_NtkEcoPerform( pNtkF, pNtkG, pFileNames, 1, fCheck, fVerbose ) ) in Acb_NtkRunEco()
[all …]