[導(dǎo)讀]【導(dǎo)讀】全球領(lǐng)先半導(dǎo)體廠商Synopsys在中國(guó)確立VMM驗(yàn)證方法標(biāo)準(zhǔn)
中文版《SystemVerilog 驗(yàn)證方法學(xué)》由北京航空航天大學(xué)出版社發(fā)行 全球領(lǐng)先的電子設(shè)計(jì)自動(dòng)化(EDA)軟件工具領(lǐng)導(dǎo)廠商Synopsys今天宣布,由
【導(dǎo)讀】全球領(lǐng)先半導(dǎo)體廠商Synopsys在中國(guó)確立VMM驗(yàn)證方法標(biāo)準(zhǔn)
中文版《SystemVerilog 驗(yàn)證方法學(xué)》由北京航空航天大學(xué)出版社發(fā)行
全球領(lǐng)先的電子設(shè)計(jì)自動(dòng)化(EDA)軟件工具領(lǐng)導(dǎo)廠商Synopsys今天宣布,由ARM 和 Synopsys 公司推出的SystemVerilog 驗(yàn)證方法學(xué)(VMM)被中國(guó)主要電子公司采用,用于開(kāi)發(fā)先進(jìn)驗(yàn)證環(huán)境。Synopsys 還宣布,《SystemVerilog 驗(yàn)證方法學(xué)》一書(shū)中文版已由中國(guó)航空航天大學(xué)出版發(fā)行。至今,本書(shū)的英文版已售出3,500多本。
《SystemVerilog 驗(yàn)證方法學(xué)》由 ARM 和 Synopsys 公司的技術(shù)專(zhuān)家共同撰寫(xiě),書(shū)中描繪了如何使用 SystemVerilog 創(chuàng)建采用覆蓋主導(dǎo)、隨機(jī)約束、基于斷言驗(yàn)證技術(shù)的綜合驗(yàn)證環(huán)境,同時(shí)為可互用驗(yàn)證組件指定了建庫(kù)數(shù)據(jù)塊。VMM 方法學(xué)得到全球數(shù)百家 SoC 和硅 IP驗(yàn)證團(tuán)隊(duì)的采用,加速開(kāi)發(fā)基于 SystemVerilog的功能強(qiáng)大的驗(yàn)證環(huán)境,并有助于以較少時(shí)間和努力達(dá)到可測(cè)量的功能覆蓋率目標(biāo)。
Spreadtrum 研發(fā)副總裁冀晉表示:“主流芯片設(shè)計(jì)越來(lái)越需要使用可廣泛重用IP的基于SoC 的設(shè)計(jì)技術(shù)。這增加了設(shè)計(jì)的復(fù)雜性,給工程師提出更大的驗(yàn)證挑戰(zhàn),需要采用強(qiáng)大的新驗(yàn)證技術(shù)和方法。我們采用了 VMM 方法學(xué)的標(biāo)準(zhǔn),它極大提高了我們芯片驗(yàn)證過(guò)程的質(zhì)量和生產(chǎn)率?!禨ystemVerilog 驗(yàn)證方法》是為芯片設(shè)計(jì)師和驗(yàn)證工程師提供的一本重要且實(shí)用的參考書(shū)?!?
同方微電子公司 CTO 徐磊說(shuō):“強(qiáng)大的可預(yù)測(cè)系統(tǒng)化驗(yàn)證方法學(xué)是開(kāi)發(fā)復(fù)雜SoC產(chǎn)品必不可少的基礎(chǔ)。VMM 方法學(xué)將業(yè)內(nèi)用于SystemVerilog 開(kāi)發(fā)和采用先進(jìn)的驗(yàn)證技術(shù)的最佳實(shí)踐具體化。無(wú)論是驗(yàn)證工程師、設(shè)計(jì)工程師還是項(xiàng)目主管,《SystemVerilog驗(yàn)證方法學(xué)》都可以幫助這些讀者掌握最先進(jìn)的驗(yàn)證方法?!?
CEC 華大電子設(shè)計(jì)劉偉平博士表示:“隨著芯片規(guī)模越來(lái)越大、設(shè)計(jì)復(fù)雜度越來(lái)越高,芯片設(shè)計(jì)中的驗(yàn)證成為設(shè)計(jì)師的挑戰(zhàn)。運(yùn)用VMM 方法學(xué)的SystemVerilog可以有效地幫助芯片設(shè)計(jì)工程師解決驗(yàn)證挑戰(zhàn)。我們要感謝Synopsys 和 ARM 將基于SystemVerilog的驗(yàn)證技術(shù)介紹給中國(guó),并出版了《SystemVerilog驗(yàn)證方法學(xué)》一書(shū)。采用 VMM 方法學(xué)的中國(guó)芯片開(kāi)發(fā)團(tuán)隊(duì)現(xiàn)在可以分享全球?qū)<沂褂玫南冗M(jìn)設(shè)計(jì)驗(yàn)證方法了?!?
ARM中國(guó)總裁譚軍表示:“SystemVerilog 在中國(guó)的廣泛采用讓新一代芯片開(kāi)發(fā)人員能夠利用先進(jìn)的驗(yàn)證技術(shù)進(jìn)行復(fù)雜的 SoC 設(shè)計(jì)。由 ARM 和 Synopsys 緊密合作共同研發(fā)的《SystemVerilog驗(yàn)證方法學(xué)》是利用SystemVerilog能力提高驗(yàn)證生產(chǎn)率和質(zhì)量的要點(diǎn)指導(dǎo)。”
Synopsys 驗(yàn)證市場(chǎng)部副總裁 George Zafiropoulos 表示:“VMM 驗(yàn)證方法學(xué)迅速成為 SystemVerilog 實(shí)際的行業(yè)標(biāo)準(zhǔn),使全球芯片研發(fā)團(tuán)隊(duì)取得了所預(yù)測(cè)驗(yàn)證的成功?!禨ystemVerilog驗(yàn)證方法學(xué)》中文版的發(fā)行標(biāo)志著向中國(guó)不斷增長(zhǎng)的芯片開(kāi)發(fā)團(tuán)隊(duì)引入先進(jìn)技術(shù)所邁出的一大步?!?
2007年5月14日、16日和17日分別在中國(guó)北京、上海、深圳舉辦的 Synopsys 發(fā)現(xiàn)驗(yàn)證研討會(huì)上,將免費(fèi)分發(fā)VMM 方法學(xué)技術(shù)指南和 Synopsys 最近推出的針對(duì)快速驗(yàn)證環(huán)境開(kāi)發(fā)的 VMM Applications 將即時(shí)推出。
欲知詳情,請(qǐng)下載word文檔
下載文檔
本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請(qǐng)聯(lián)系該專(zhuān)欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請(qǐng)及時(shí)聯(lián)系本站刪除。
9月2日消息,不造車(chē)的華為或?qū)⒋呱龈蟮莫?dú)角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。
關(guān)鍵字:
阿維塔
塞力斯
華為
加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉(zhuǎn)型技術(shù)解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...
關(guān)鍵字:
AWS
AN
BSP
數(shù)字化
倫敦2024年8月29日 /美通社/ -- 英國(guó)汽車(chē)技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車(chē)工程師從創(chuàng)意到認(rèn)證的所有需求的工具,可用于創(chuàng)建軟件定義汽車(chē)。 SODA V工具的開(kāi)發(fā)耗時(shí)1.5...
關(guān)鍵字:
汽車(chē)
人工智能
智能驅(qū)動(dòng)
BSP
北京2024年8月28日 /美通社/ -- 越來(lái)越多用戶(hù)希望企業(yè)業(yè)務(wù)能7×24不間斷運(yùn)行,同時(shí)企業(yè)卻面臨越來(lái)越多業(yè)務(wù)中斷的風(fēng)險(xiǎn),如企業(yè)系統(tǒng)復(fù)雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性,提升韌性,成...
關(guān)鍵字:
亞馬遜
解密
控制平面
BSP
8月30日消息,據(jù)媒體報(bào)道,騰訊和網(wǎng)易近期正在縮減他們對(duì)日本游戲市場(chǎng)的投資。
關(guān)鍵字:
騰訊
編碼器
CPU
8月28日消息,今天上午,2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)開(kāi)幕式在貴陽(yáng)舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。
關(guān)鍵字:
華為
12nm
EDA
半導(dǎo)體
8月28日消息,在2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)上,華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱(chēng),數(shù)字世界的話(huà)語(yǔ)權(quán)最終是由生態(tài)的繁榮決定的。
關(guān)鍵字:
華為
12nm
手機(jī)
衛(wèi)星通信
要點(diǎn): 有效應(yīng)對(duì)環(huán)境變化,經(jīng)營(yíng)業(yè)績(jī)穩(wěn)中有升 落實(shí)提質(zhì)增效舉措,毛利潤(rùn)率延續(xù)升勢(shì) 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務(wù)引領(lǐng)增長(zhǎng) 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競(jìng)爭(zhēng)力 堅(jiān)持高質(zhì)量發(fā)展策略,塑強(qiáng)核心競(jìng)爭(zhēng)優(yōu)勢(shì)...
關(guān)鍵字:
通信
BSP
電信運(yùn)營(yíng)商
數(shù)字經(jīng)濟(jì)
北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺(tái)與中國(guó)電影電視技術(shù)學(xué)會(huì)聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會(huì)上宣布正式成立。 活動(dòng)現(xiàn)場(chǎng) NVI技術(shù)創(chuàng)新聯(lián)...
關(guān)鍵字:
VI
傳輸協(xié)議
音頻
BSP
北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長(zhǎng)三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會(huì)上,軟通動(dòng)力信息技術(shù)(集團(tuán))股份有限公司(以下簡(jiǎn)稱(chēng)"軟通動(dòng)力")與長(zhǎng)三角投資(上海)有限...
關(guān)鍵字:
BSP
信息技術(shù)
山海路引?嵐悅新程 三亞2024年8月27日 /美通社/ --?近日,海南地區(qū)六家凱悅系酒店與中國(guó)高端新能源車(chē)企嵐圖汽車(chē)(VOYAH)正式達(dá)成戰(zhàn)略合作協(xié)議。這一合作標(biāo)志著兩大品牌在高端出行體驗(yàn)和環(huán)保理念上的深度融合,將...
關(guān)鍵字:
新能源
BSP
PLAYER
ASIA
上海2024年8月28日 /美通社/ -- 8月26日至8月28日,AHN LAN安嵐與股神巴菲特的孫女妮可?巴菲特共同開(kāi)啟了一場(chǎng)自然和藝術(shù)的療愈之旅。 妮可·巴菲特在療愈之旅活動(dòng)現(xiàn)場(chǎng)合影 ...
關(guān)鍵字:
MIDDOT
BSP
LAN
SPI
8月29日消息,近日,華為董事、質(zhì)量流程IT總裁陶景文在中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)開(kāi)幕式上表示,中國(guó)科技企業(yè)不應(yīng)怕美國(guó)對(duì)其封鎖。
關(guān)鍵字:
華為
12nm
EDA
半導(dǎo)體
上海2024年8月26日 /美通社/ -- 近日,全球領(lǐng)先的消費(fèi)者研究與零售監(jiān)測(cè)公司尼爾森IQ(NielsenIQ)迎來(lái)進(jìn)入中國(guó)市場(chǎng)四十周年的重要里程碑,正式翻開(kāi)在華發(fā)展新篇章。自改革開(kāi)放以來(lái),中國(guó)市場(chǎng)不斷展現(xiàn)出前所未有...
關(guān)鍵字:
BSP
NI
SE
TRACE
上海2024年8月26日 /美通社/ -- 第二十二屆跨盈年度B2B營(yíng)銷(xiāo)高管峰會(huì)(CC2025)將于2025年1月15-17日在上海舉辦,本次峰會(huì)早鳥(niǎo)票注冊(cè)通道開(kāi)啟,截止時(shí)間10月11日。 了解更多會(huì)議信息:cc.co...
關(guān)鍵字:
BSP
COM
AI
INDEX
上海2024年8月26日 /美通社/ -- 今日,高端全合成潤(rùn)滑油品牌美孚1號(hào)攜手品牌體驗(yàn)官周冠宇,開(kāi)啟全新旅程,助力廣大車(chē)主通過(guò)駕駛?cè)ヌ剿鞲鼜V闊的世界。在全新發(fā)布的品牌視頻中,周冠宇及不同背景的消費(fèi)者表達(dá)了對(duì)駕駛的熱愛(ài)...
關(guān)鍵字:
BSP
汽車(chē)制造
此次發(fā)布標(biāo)志著Cision首次為亞太市場(chǎng)量身定制全方位的媒體監(jiān)測(cè)服務(wù)。 芝加哥2024年8月27日 /美通社/ -- 消費(fèi)者和媒體情報(bào)、互動(dòng)及傳播解決方案的全球領(lǐng)導(dǎo)者Cis...
關(guān)鍵字:
CIS
IO
SI
BSP
上海2024年8月27日 /美通社/ -- 近來(lái),具有強(qiáng)大學(xué)習(xí)、理解和多模態(tài)處理能力的大模型迅猛發(fā)展,正在給人類(lèi)的生產(chǎn)、生活帶來(lái)革命性的變化。在這一變革浪潮中,物聯(lián)網(wǎng)成為了大模型技術(shù)發(fā)揮作用的重要陣地。 作為全球領(lǐng)先的...
關(guān)鍵字:
模型
移遠(yuǎn)通信
BSP
高通
北京2024年8月27日 /美通社/ -- 高途教育科技公司(紐約證券交易所股票代碼:GOTU)("高途"或"公司"),一家技術(shù)驅(qū)動(dòng)的在線直播大班培訓(xùn)機(jī)構(gòu),今日發(fā)布截至2024年6月30日第二季度未經(jīng)審計(jì)財(cái)務(wù)報(bào)告。 2...
關(guān)鍵字:
BSP
電話(huà)會(huì)議
COM
TE
8月26日消息,華為公司最近正式啟動(dòng)了“華為AI百校計(jì)劃”,向國(guó)內(nèi)高校提供基于昇騰云服務(wù)的AI計(jì)算資源。
關(guān)鍵字:
華為
12nm
EDA
半導(dǎo)體