Tools for electronic design automation, enabling the design and verification of semiconductor devices.

Intellectual property cores for semiconductor design, including standard cell libraries, memory compilers, and logic libraries.