For the full year, Synopsys posted record revenue of $7.1 billion, up about 15% from the previous year.