Cadence收購Jasper擴展驗證解決方案

益華電腦(Cadence Design Systems, Inc.)以大約1億7千萬美元現金收購形式分析技術廠商Jasper Design Automation, Inc.。Jasper是快速成長的形式分析技術廠商，提供建立在JasperGold平台上的多重驗證解決方案(Verification Apps)。Jasper的客戶包括許多頂尖系統、半導體與IP公司。這些公司也都是Cadence的客戶，紛紛採用形式分析來補強傳統的驗證方法，並期望能更妥善的克服越來越複雜而且彈性化的IP設計與系統晶片(SoCs)的驗證挑戰。而驗證佔了70%以上的系統晶片開發成本，成為最大的系統與SoC開發挑戰，也是上市前置時間的關鍵因素。Jasper的技術優勢就是高度補強Cadence System Development Suite，自從2011年以來，這個套裝一直都是整合式系統驗證解決方案的標竿。這個組合將會擴大業界堅強且廣泛系統驗證平台，並將與Cadence的除錯分析、形式與半形式解決方案、模擬、加速、仿真與拓撲平台緊密整合，同時發揚一致化驗證規劃與指標導向驗證流程(metric-driven verification；MDV)的優勢。此外，更廣大的動態與形式驗證VIP產品陣容的組合將特別適合用來實現嵌入式處理器系統驗證。Cadence系統與驗証部門兼全球銷售資深副總裁黃小立(Charlie Huang)表示，「在形式分析領域，Jasper的產品是眾所公認的技術領袖，以克服複雜驗證挑戰和提高整體生產力為目標。現在客戶運用Jasper的形式分析解決方案搭配Cadence MDV驗證流程，構成涵蓋極廣的驗證解決方案。熱切歡迎Jasper堅強的專家與團隊加入Cadence。」Jasper與Incisive形式技術與專業的結合將實現業界最完善的形式與半形式產品陣容。藉由更廣大的驗證產品陣容與全球團隊，隨著更多主流客戶採用Verification Apps來進行IP與SoC開發工作，Cadence將能加速擴大新興形式分析市場。Jasper總裁兼執行長Kathryn Kranen表示，「Jasper與Cadence為頂尖客層提供服務，這些客戶將因更廣泛的形式技術和更廣大、更密切整合的驗證解決方案而獲益良多。雙方的驗證技術結合在一起，融合形式與動態技術，強化雙方各自的優點並駕馭雙方的整合力量，透過周延的MDV驗證方法讓客戶獲益。」