Searched refs:Gia_ManIncrSimStart (Results 1 – 2 of 2) sorted by relevance
1150 void Gia_ManIncrSimStart( Gia_Man_t * p, int nWords, int nObjs ) in Gia_ManIncrSimStart() function
1554 extern void Gia_ManIncrSimStart( Gia_Man_t * p, int nWords, int nObjs );