Mentor推出形式驗(yàn)證的自動化解決方案Questa PropGen
2014-06-03 21:34:24 本站原創(chuàng)Mentor Graphics近日宣布推出形式驗(yàn)證的自動化解決方案Mentor組合中的最新產(chǎn)品Questa PropGen以及Questa產(chǎn)品先進(jìn)形式引擎的增強(qiáng)容量及性能，其構(gòu)成了整個(gè)自動化解決方案家族。
自動化針對性解決方案
全自動針對性驗(yàn)證解決方案使驗(yàn)證功能大幅提高，大大節(jié)省了工程時(shí)間的人月數(shù)及昂貴的再流片成本。這實(shí)現(xiàn)了對使用其他驗(yàn)證方法難以或無法進(jìn)行驗(yàn)證特定設(shè)計(jì)的完整性和驗(yàn)證的準(zhǔn)確性。Questa PropGen是該解決方案組合中最新的方案，有助于驗(yàn)證團(tuán)隊(duì)通過自動化基于斷言的驗(yàn)證(ABV)過程使復(fù)雜SoC達(dá)到更高質(zhì)量。
“Mentor的形式驗(yàn)證技術(shù)在許多領(lǐng)域增強(qiáng)了我們傳統(tǒng)的驗(yàn)證流程，”三星半導(dǎo)體公司系統(tǒng)大規(guī)模集成部首席工程師NamDo Kim說。“為了提高生產(chǎn)效率及設(shè)計(jì)質(zhì)量，我們已經(jīng)成功地利用了從全自動形式驗(yàn)證到屬性檢查的廣泛的Questa應(yīng)用。”
傳統(tǒng)上，驗(yàn)證工程師一直依賴于設(shè)計(jì)人員主動將斷言添加至代碼中。遺憾的是，編寫此類斷言所需要的精力和時(shí)間往往會阻止設(shè)計(jì)人員寫出驗(yàn)證團(tuán)隊(duì)所需的斷言。Questa PropGen通過利用其現(xiàn)有測試環(huán)境將驗(yàn)證團(tuán)隊(duì)視為駕馭者來自動生成屬性。項(xiàng)目團(tuán)隊(duì)可借助Questa PropGen工具在其SoC仿真和硬件加速環(huán)境中體驗(yàn)基于屬性的驗(yàn)證(ABV)的所有功能，而無需耗時(shí)的手動斷言編碼。
Questa Formal(形式化驗(yàn)證)引擎的性能和容量的飛躍
Questa Formal獨(dú)創(chuàng)的新形式驗(yàn)證引擎在棘手驗(yàn)證問題方面提供了業(yè)界領(lǐng)先水平的性能。此類引擎為Questa整套產(chǎn)品全自動形式驗(yàn)證解決方案和形式驗(yàn)證強(qiáng)大的應(yīng)用提供了動力。Questa Formal引擎的增強(qiáng)實(shí)現(xiàn)了整個(gè)自動化解決方案的性能改進(jìn)，包括跨時(shí)鐘域(CDC)簽收的業(yè)界標(biāo)準(zhǔn)解決方案Questa CDC驚人的6倍提升。為補(bǔ)充全方位驗(yàn)證技術(shù)，Questa Formal解決方案和引擎在最近宣布的Mentor 企業(yè)級驗(yàn)證平臺中還實(shí)現(xiàn)了仿真和硬件加速的緊密結(jié)合，以便使驗(yàn)證團(tuán)隊(duì)能以高水準(zhǔn)的質(zhì)量更有效地實(shí)現(xiàn)其總驗(yàn)證目標(biāo)。
“形式驗(yàn)證正在成為主流，并且技術(shù)仍在快速發(fā)展，”O(jiān)ski Technology總裁兼首席執(zhí)行官VigyanSinghal說，“新發(fā)布的Questa Formal引擎所取得的結(jié)果給我們留下了深刻印象。在客戶項(xiàng)目上，我們已看到大幅提升了容量，拓寬了可解決問題的范圍。”
EETOP 官方微信
創(chuàng)芯大講堂 在線教育
半導(dǎo)體創(chuàng)芯網(wǎng) 快訊
相關(guān)文章
