當前位置:首頁 > 嵌入式 > 嵌入式硬件
[導讀]Mentor Graphics增強Questa基于自動化驗證解決方案的形式驗證的容量、性能和廣度。2014年5月20日,俄勒岡州威爾遜維爾——先進系統(tǒng)驗證解決方案的領導者Mentor G

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

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

自動化針對性解決方案

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

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

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

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

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

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

本站聲明: 本文章由作者或相關機構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點,本站亦不保證或承諾內(nèi)容真實性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫毥谦F公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關鍵字: 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉(zhuǎn)型技術(shù)解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...

關鍵字: AWS AN BSP 數(shù)字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時1.5...

關鍵字: 汽車 人工智能 智能驅(qū)動 BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務能7×24不間斷運行,同時企業(yè)卻面臨越來越多業(yè)務中斷的風險,如企業(yè)系統(tǒng)復雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務連續(xù)性,提升韌性,成...

關鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報道,騰訊和網(wǎng)易近期正在縮減他們對日本游戲市場的投資。

關鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會開幕式在貴陽舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關鍵字: 華為 12nm EDA 半導體

8月28日消息,在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會上,華為常務董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語權(quán)最終是由生態(tài)的繁榮決定的。

關鍵字: 華為 12nm 手機 衛(wèi)星通信

要點: 有效應對環(huán)境變化,經(jīng)營業(yè)績穩(wěn)中有升 落實提質(zhì)增效舉措,毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務引領增長 以科技創(chuàng)新為引領,提升企業(yè)核心競爭力 堅持高質(zhì)量發(fā)展策略,塑強核心競爭優(yōu)勢...

關鍵字: 通信 BSP 電信運營商 數(shù)字經(jīng)濟

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺與中國電影電視技術(shù)學會聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會上宣布正式成立。 活動現(xiàn)場 NVI技術(shù)創(chuàng)新聯(lián)...

關鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會上,軟通動力信息技術(shù)(集團)股份有限公司(以下簡稱"軟通動力")與長三角投資(上海)有限...

關鍵字: BSP 信息技術(shù)
關閉
關閉