Mentor Graphics增強(qiáng)Questa基于自動化驗證解決方案的形式驗證的容量、性能和廣度。

2014年5月20日,俄勒岡州威爾遜維爾——先進(jìn)系統(tǒng)驗證解決方案的領(lǐng)導(dǎo)者M(jìn)entor Graphics(Nasdaq:MENT)今天宣布推出形式驗證的自動化解決方案Mentor®組合中的最新產(chǎn)品Questa® PropGen以及Questa產(chǎn)品先進(jìn)形式引擎的增強(qiáng)容量及性能，其構(gòu)成了整個自動化解決方案家族。

自動化針對性解決方案

全自動針對性驗證解決方案使驗證功能大幅提高，大大節(jié)省了工程時間的人月數(shù)及昂貴的再流片成本。這實現(xiàn)了對使用其他驗證方法難以或無法進(jìn)行驗證特定設(shè)計的完整性和驗證的準(zhǔn)確性。Questa PropGen是該解決方案組合中最新的方案，有助于驗證團(tuán)隊通過自動化基于斷言的驗證(ABV)過程使復(fù)雜SoC達(dá)到更高質(zhì)量。

“Mentor的形式驗證技術(shù)在許多領(lǐng)域增強(qiáng)了我們傳統(tǒng)的驗證流程，”三星半導(dǎo)體公司系統(tǒng)大規(guī)模集成部首席工程師NamDo Kim說。“為了提高生產(chǎn)效率及設(shè)計質(zhì)量，我們已經(jīng)成功地利用了從全自動形式驗證到屬性檢查的廣泛的Questa應(yīng)用。”

傳統(tǒng)上，驗證工程師一直依賴于設(shè)計人員主動將斷言添加至代碼中。遺憾的是，編寫此類斷言所需要的精力和時間往往會阻止設(shè)計人員寫出驗證團(tuán)隊所需的斷言。 Questa PropGen通過利用其現(xiàn)有測試環(huán)境將驗證團(tuán)隊視為駕馭者來自動生成屬性。項目團(tuán)隊可借助Questa PropGen工具在其SoC仿真和硬件加速環(huán)境中體驗基于屬性的驗證(ABV)的所有功能，而無需耗時的手動斷言編碼。

Questa Formal(形式化驗證)引擎的性能和容量的飛躍

Questa Formal獨創(chuàng)的新形式驗證引擎在棘手驗證問題方面提供了業(yè)界領(lǐng)先水平的性能。此類引擎為Questa整套產(chǎn)品全自動形式驗證解決方案和形式驗證強(qiáng)大的應(yīng)用提供了動力。Questa Formal引擎的增強(qiáng)實現(xiàn)了整個自動化解決方案的性能改進(jìn)，包括跨時鐘域(CDC)簽收的業(yè)界標(biāo)準(zhǔn)解決方案Questa CDC 驚人的6倍提升。為補(bǔ)充全方位驗證技術(shù)，Questa Formal解決方案和引擎在最近宣布的Mentor 企業(yè)級驗證平臺中還實現(xiàn)了仿真和硬件加速的緊密結(jié)合，以便使驗證團(tuán)隊能以高水準(zhǔn)的質(zhì)量更有效地實現(xiàn)其總驗證目標(biāo)。

“形式驗證正在成為主流，并且技術(shù)仍在快速發(fā)展，”Oski Technology總裁兼首席執(zhí)行官Vigyan Singhal說，“新發(fā)布的Questa Formal引擎所取得的結(jié)果給我們留下了深刻印象。在客戶項目上，我們已看到大幅提升了容量，拓寬了可解決問題的范圍。”