Cadence Design Systems, Inc. (CDNS) provides software, hardware, services, and reusable integrated circuit (IC) design blocks worldwide.
The company offers functional verification services, including emulation and prototyping hardware. Its functional verification offering consists of JasperGold, a formal verification platform; Xcelium, a parallel logic simulation platform; Palladium, an enterprise emulation platform; and Protium, a prototyping platform for chip verification. https://www.cadence.com/en_US/home.html