Synopsys names insider Ghazi as CEO, forecasts stronger fourth quarter