国产精品视频播放更新_亚洲精品中文综合_凌晨三点3免费观看_无码A级免费毛片视频_综合久久网

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

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

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

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

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