Synopsys sees Q3 revenue above estimates as AI drives upbeat results