益華電腦以大約1億7,000萬美元現金，收購形式分析(Formal Analysis)解決方案供應商Jasper Design Automation。

　　益華電腦系統與驗證部門兼全球銷售資深副總裁黃小立表示，現在客戶運用Jasper的形式分析解決方案，搭配益華指標導向驗證(Metric-Driven Verification, MDV)，構成涵蓋極廣的驗證解決方案。

　　Jasper總裁兼執行長Kathryn Kranen表示，Jasper與益華為頂尖客層提供服務，這些客戶將因更廣泛的形式技術，和更廣大、更密切整合的驗證解決方案而獲益良多。雙方的驗證技術結合在一起，融合形式與動態技術，強化雙方各自優點并駕馭雙方的整合力量，透過周延的MDV驗證方法讓客戶獲益。

　　益華與Jasper的組合將會擴大其系統驗證平臺，并將與益華的除錯分析、形式與半形式解決方案、模擬、加速、仿真與拓撲平臺緊密整合，同時發揚一致化驗證規畫與MDV優勢。此外，更廣大的動態與形式驗證VIP產品陣容組合，將特別適合用來實現嵌入式處理器系統驗證。

　　益華電腦網址：www.cadence.com