
Cadence Design Systems, Inc. 开发计算、人工智能驱动的软件、硬件和硅知识产权产品及解决方案。该公司提供功能验证服务,包括 Jasper,一个形式验证平台;Xcelium,一个并行逻辑仿真平台;Verisium,一个生成式人工智能解决方案;Palladium,一个企业级仿真平台;以及 Protium,一个用于芯片验证的原型平台,还包括数字集成电路设计和签署产品,如 Innovus 平台;以及定制集成电路设计和仿真产品,包括 Virtuoso,一个用于设计和验证模拟电路的平台。它还提供 Xcelium 逻辑仿真器和其他前端验证及虚拟原型技术;控制器和物理接口;PCI Express、通用加速器和计算表达链接,以及多种内存接口;以及 Ten Silica,一个数字信号处理器