
Cadence Design Systems, Inc. 開發計算、人工智能驅動的軟件、硬件和硅知識產權產品及解決方案。該公司提供功能驗證服務,包括 Jasper,一個形式驗證平台;Xcelium,一個並行邏輯仿真平台;Verisium,一個生成式人工智能解決方案;Palladium,一個企業級仿真平台;以及 Protium,一個用于芯片驗證的原型平台,還包括數字集成電路設計和簽署產品,如 Innovus 平台;以及定制集成電路設計和仿真產品,包括 Virtuoso,一個用于設計和驗證模擬電路的平台。它還提供 Xcelium 邏輯仿真器和其他前端驗證及虛擬原型技術;控制器和物理接口;PCI Express、通用加速器和計算表達鏈接,以及多種內存接口;以及 Ten Silica,一個數字信號處理器