久久精品国产99久久,欧美五码在线,一区二区三区日韩精品,亚洲国产视频a

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

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

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

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

　　益華電腦網(wǎng)址：www.cadence.com