Searched refs:Acb_NtkInsert (Results 1 – 2 of 2) sorted by relevance
850 void Acb_NtkInsert( char * pFileNameIn, char * pFileNameOut, Vec_Ptr_t * vNames, int fNumber ) in Acb_NtkInsert() function
2082 …extern void Acb_NtkInsert( char * pFileNameIn, char * pFileNameOut, Vec_Ptr_t * vNames, int fNumbe… in Acb_GenerateFile2()2090 Acb_NtkInsert( pFileName, "temp.v", vOuts, 0 ); in Acb_GenerateFile2()