A leading provider of electronic design automation software for semiconductor design and verification.