Searched refs:Gia_ManPoXSim (Results 1 – 2 of 2) sorted by relevance
1935 Vec_Int_t * Gia_ManPoXSim( Gia_Man_t * p, int nFrames, int fVerbose ) in Gia_ManPoXSim() function
44435 extern Vec_Int_t * Gia_ManPoXSim( Gia_Man_t * p, int nFrames, int fVerbose ); in Abc_CommandAbc9PoXsim()44473 pAbc->vAbcObjIds = Gia_ManPoXSim( pAbc->pGia, nFrames, fVerbose ); in Abc_CommandAbc9PoXsim()