鏗騰電子

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