Searched refs:Abc_NtkDarSynchOne (Results 1 – 2 of 2) sorted by relevance
4127 Abc_Ntk_t * Abc_NtkDarSynchOne( Abc_Ntk_t * pNtk, int nWords, int fVerbose ) in Abc_NtkDarSynchOne() function
22904 extern Abc_Ntk_t * Abc_NtkDarSynchOne( Abc_Ntk_t * pNtk, int nWords, int fVerbose ); in Abc_CommandSynch()22945 pNtkRes = Abc_NtkDarSynchOne( pNtk, nWords, fVerbose ); in Abc_CommandSynch()