[導讀]2014年3月4日—Mentor Graphics(NASDAQ:MENT)今天宣布,為對基于圖形的測試規(guī)范標準的標準化問題進行研究,公司已提議成立新的Accellera標準委員會。為深化此項工作,Mentor Graphics公司將把其現(xiàn)有的基于圖形的測
2014年3月4日—Mentor Graphics(NASDAQ:MENT)今天宣布,為對基于圖形的測試規(guī)范標準的標準化問題進行研究,公司已提議成立新的Accellera標準委員會。為深化此項工作,Mentor Graphics公司將把其現(xiàn)有的基于圖形的測試規(guī)范格式作為技術(shù)捐贈奉獻出來,以啟動標準化工作。
“Mentor Graphics公司基于圖形的規(guī)范化技術(shù),以其快速徹底的覆蓋設備狀態(tài)空間能力,為驗證領(lǐng)域帶來了惹人注目的新價值,”SyoSil咨詢公司的 所有人兼總經(jīng)理 Peter Jensen 說?!斑@樣,我們便可以在模塊級采用UVM(通用驗證方法學)進行傳統(tǒng)的覆蓋率驅(qū)動驗證和在系統(tǒng)級采用嵌入式C測試程序進行智能軟件驅(qū)動驗證時,采用統(tǒng)一的基于圖形的描述?!?BR>
“采納最先進的功能驗證方法學在電子設計和驗證效率的最大化方面是至關(guān)重要的。通過采用基于圖形的測試技術(shù),我們看到客戶的生產(chǎn)率實現(xiàn)了10倍增加,”Mentor Graphics 副總裁兼設計驗證技術(shù)部總經(jīng)理 John Lenyo 說?!案鶕?jù)客戶反饋,我們正在推進有關(guān)標準事宜的提議和推動工作,這不僅可為很多客戶帶來顯著收益,而且還打開了技術(shù)創(chuàng)新的大門?!?BR>
基于圖形的測試規(guī)范的諸多益處
基于圖形的測試規(guī)范可一舉三得。首先,它可使編寫和調(diào)試測試用例的時間壓縮50%或以上。對于現(xiàn)有的基于約束的 SystemVerilog UVM 測試來說,驗證工程師可利用基于圖形的規(guī)范格式來描述完全相同的測試空間,不但代碼行數(shù)不到原來的一半,而且還無需對測試意圖進行任何修改。這也意味著測試代碼本身的錯誤的數(shù)量有效減少,驗證工程師可將注意力從調(diào)試測試代碼轉(zhuǎn)移到調(diào)試設計上來。
其次,基于圖形的測試規(guī)范格式支持多種設計語言和多種驗證環(huán)境,可復用到設計意圖和驗證引擎中。無論對于用于模塊級仿真的 SystemVerilog UVM 測試環(huán)境,還是對于用于系統(tǒng)級仿真的嵌入式C測試程序來說,均可采用相同的基于圖形的測試規(guī)范。此外,它還可用于為微處理器指令集的驗證生成指令,甚至還可用在 FPGA 原型設計和芯片驗證等目標硬件上。
第三,借助基于圖形的測試規(guī)范的抽象性,在工具實施階段,可根據(jù)驗證需求采用不同的方法來應用該測試規(guī)范。比如,在驗證項目的早期階段,可根據(jù)基于圖形的測試規(guī)范對某工具下達相關(guān)指令,以系統(tǒng)化的方式來執(zhí)行該測試規(guī)范,從而快速提升功能覆蓋率。在后期,可對該工具下達相關(guān)指令,以完全隨機的方式來執(zhí)行該測試規(guī)范,從而為回歸測試的仿真集群(simulation farm)產(chǎn)生浸泡測試激勵。
Mentor Graphics公司對基于圖形的測試規(guī)范標準工作所做貢獻
對于驗證來說,基于圖形的規(guī)范格式并非新鮮事物。它以標準的巴科斯—諾爾范式(BNF)為基礎,在IBM的倡導下,已在多家公司的自動化編譯器測試中得到應用。其天然基本架構(gòu)與典型的設計規(guī)范結(jié)構(gòu)高度相似,需求映射簡單明了。 Mentor Graphics公司捐贈了經(jīng)過擴展的基于圖形的規(guī)范格式,使得所有的標準環(huán)境,以及包括Verilog、VHDL、SystemVerilog、e、SystemC、C/C、匯編碼等在內(nèi)的各種語言均支持 VLSI 設計驗證。
本站聲明: 本文章由作者或相關(guān)機構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點,本站亦不保證或承諾內(nèi)容真實性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時聯(lián)系本站刪除。
9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫毥谦F公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。
關(guān)鍵字:
阿維塔
塞力斯
華為
加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉(zhuǎn)型技術(shù)解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...
關(guān)鍵字:
AWS
AN
BSP
數(shù)字化
倫敦2024年8月29日 /美通社/ -- 英國汽車技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時1.5...
關(guān)鍵字:
汽車
人工智能
智能驅(qū)動
BSP
北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務能7×24不間斷運行,同時企業(yè)卻面臨越來越多業(yè)務中斷的風險,如企業(yè)系統(tǒng)復雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務連續(xù)性,提升韌性,成...
關(guān)鍵字:
亞馬遜
解密
控制平面
BSP
8月30日消息,據(jù)媒體報道,騰訊和網(wǎng)易近期正在縮減他們對日本游戲市場的投資。
關(guān)鍵字:
騰訊
編碼器
CPU
8月28日消息,今天上午,2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會開幕式在貴陽舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。
關(guān)鍵字:
華為
12nm
EDA
半導體
8月28日消息,在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會上,華為常務董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語權(quán)最終是由生態(tài)的繁榮決定的。
關(guān)鍵字:
華為
12nm
手機
衛(wèi)星通信
要點: 有效應對環(huán)境變化,經(jīng)營業(yè)績穩(wěn)中有升 落實提質(zhì)增效舉措,毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務引領(lǐng)增長 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競爭力 堅持高質(zhì)量發(fā)展策略,塑強核心競爭優(yōu)勢...
關(guān)鍵字:
通信
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)...
關(guān)鍵字:
VI
傳輸協(xié)議
音頻
BSP
北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會上,軟通動力信息技術(shù)(集團)股份有限公司(以下簡稱"軟通動力")與長三角投資(上海)有限...
關(guān)鍵字:
BSP
信息技術(shù)
山海路引?嵐悅新程 三亞2024年8月27日 /美通社/ --?近日,海南地區(qū)六家凱悅系酒店與中國高端新能源車企嵐圖汽車(VOYAH)正式達成戰(zhàn)略合作協(xié)議。這一合作標志著兩大品牌在高端出行體驗和環(huán)保理念上的深度融合,將...
關(guān)鍵字:
新能源
BSP
PLAYER
ASIA
上海2024年8月28日 /美通社/ -- 8月26日至8月28日,AHN LAN安嵐與股神巴菲特的孫女妮可?巴菲特共同開啟了一場自然和藝術(shù)的療愈之旅。 妮可·巴菲特在療愈之旅活動現(xiàn)場合影 ...
關(guān)鍵字:
MIDDOT
BSP
LAN
SPI
8月29日消息,近日,華為董事、質(zhì)量流程IT總裁陶景文在中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會開幕式上表示,中國科技企業(yè)不應怕美國對其封鎖。
關(guān)鍵字:
華為
12nm
EDA
半導體
上海2024年8月26日 /美通社/ -- 近日,全球領(lǐng)先的消費者研究與零售監(jiān)測公司尼爾森IQ(NielsenIQ)迎來進入中國市場四十周年的重要里程碑,正式翻開在華發(fā)展新篇章。自改革開放以來,中國市場不斷展現(xiàn)出前所未有...
關(guān)鍵字:
BSP
NI
SE
TRACE
上海2024年8月26日 /美通社/ -- 第二十二屆跨盈年度B2B營銷高管峰會(CC2025)將于2025年1月15-17日在上海舉辦,本次峰會早鳥票注冊通道開啟,截止時間10月11日。 了解更多會議信息:cc.co...
關(guān)鍵字:
BSP
COM
AI
INDEX
上海2024年8月26日 /美通社/ -- 今日,高端全合成潤滑油品牌美孚1號攜手品牌體驗官周冠宇,開啟全新旅程,助力廣大車主通過駕駛?cè)ヌ剿鞲鼜V闊的世界。在全新發(fā)布的品牌視頻中,周冠宇及不同背景的消費者表達了對駕駛的熱愛...
關(guān)鍵字:
BSP
汽車制造
此次發(fā)布標志著Cision首次為亞太市場量身定制全方位的媒體監(jiān)測服務。 芝加哥2024年8月27日 /美通社/ -- 消費者和媒體情報、互動及傳播解決方案的全球領(lǐng)導者Cis...
關(guān)鍵字:
CIS
IO
SI
BSP
上海2024年8月27日 /美通社/ -- 近來,具有強大學習、理解和多模態(tài)處理能力的大模型迅猛發(fā)展,正在給人類的生產(chǎn)、生活帶來革命性的變化。在這一變革浪潮中,物聯(lián)網(wǎng)成為了大模型技術(shù)發(fā)揮作用的重要陣地。 作為全球領(lǐng)先的...
關(guān)鍵字:
模型
移遠通信
BSP
高通
北京2024年8月27日 /美通社/ -- 高途教育科技公司(紐約證券交易所股票代碼:GOTU)("高途"或"公司"),一家技術(shù)驅(qū)動的在線直播大班培訓機構(gòu),今日發(fā)布截至2024年6月30日第二季度未經(jīng)審計財務報告。 2...
關(guān)鍵字:
BSP
電話會議
COM
TE
8月26日消息,華為公司最近正式啟動了“華為AI百校計劃”,向國內(nèi)高校提供基于昇騰云服務的AI計算資源。
關(guān)鍵字:
華為
12nm
EDA
半導體