Searched defs:pNtkG (Results 1 – 2 of 2) sorted by relevance
668 Acb_Ntk_t * pNtkG = Acb_VerilogSimpleRead( pFileName1, NULL ); in Acb_NtkExtract() local780 Abc_Ntk_t * pNtkG = Io_Read( pFileName1, Io_ReadFileType(pFileName1), 1, 0 ); in Abc_NtkExtract() local
2482 int Acb_NtkEcoPerform( Acb_Ntk_t * pNtkF, Acb_Ntk_t * pNtkG, char * pFileName[4], int fCisOnly, int… in Acb_NtkEcoPerform()2726 Acb_Ntk_t * pNtkG = Acb_VerilogSimpleRead( pFileNames[1], NULL ); in Acb_NtkRunEco() local