Synopsys beats Q3 estimates, raises full-year revenue outlook to $9.7B