Searched refs:Ssw_RarSimulate (Results 1 – 4 of 4) sorted by relevance
149 extern int Ssw_RarSimulate( Aig_Man_t * pAig, Ssw_RarPars_t * pPars );
973 int Ssw_RarSimulate( Aig_Man_t * pAig, Ssw_RarPars_t * pPars ) in Ssw_RarSimulate() function1200 RetValue = Ssw_RarSimulate( pAig, pPars ); in Ssw_RarSimulateGia()
194 RetValue *= Ssw_RarSimulate( p, pParsSim ); in Gia_ManMultiProveAig()
3622 if ( Ssw_RarSimulate( pMan, pPars ) == 0 ) in Abc_NtkDarSeqSim3()