Synopsys slides even as it boosts full-year guidance on back of strong Q3 results