Searched refs:pNtkG (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbUtil.c | 668 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 D | acbFunc.c | 2482 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 …]
|