益華電腦以大�1�7,000萬美元現金,收購形式分析(Formal Analysis)解決方案供應商Jasper Design Automation�
益華電腦系統與驗證部門兼全球銷售資深副總裁黃小立表示,現在客戶運用Jasper的形式分析解決方案,搭配益華指標導向驗證(Metric-Driven Verification, MDV),構成涵蓋極廣的驗證解決方案�
Jasper總裁兼執行長Kathryn Kranen表示,Jasper與益華為頂尖客層提供服務,這些客戶將因更廣泛的形式技術,和更廣大、更密切整合的驗證解決方案而獲益良多。雙方的驗證技術結合在一起,融合形式與動態技術,強化雙方各自優點并駕馭雙方的�
益華與Jasper的組合將會擴大其系統驗證平臺,并將與益華的除錯分析、形式與半形式解決方案、模擬、加速、仿真與拓撲平臺緊密整合,同時發揚一致化驗證規畫與MDV優勢。此外,更廣大的動態與形式驗證VIP產品陣容組合,將特別適合用來實現
益華電腦網址:www.cadence.com
關注我�
公眾號:china_tp
微信名稱:亞威資�
顯示行業頂級新媒�
掃一掃即可關注我�