新一代套件包括 AI 驱动的等价验证、ECO 自动化和低功耗静态签核产品 随着 SoC 设计日益复杂，形式等效性检查面临更大挑战。为此，Cadence 推出了 Conformal AI Studio——一套全新的逻辑等效性检查（LEC）、自动化ECO ...