全球領(lǐng)先的電子設(shè)計自動化（EDA）軟件工具領(lǐng)導(dǎo)廠商——Synopsys公司5月14日宣布，由ARM和Synopsys公司推出的SystemVerilog驗證方法學(xué)（VMM）被中國主要電子公司采用，用于開發(fā)先進驗證環(huán)境。Synopsys還宣布，《SystemVerilog 驗證方法學(xué)》一書中文版已由中國航空航天大學(xué)出版發(fā)行。至今，本書的英文版已售出3,500多本。

《SystemVerilog驗證方法學(xué)》由ARM和Synopsys公司的技術(shù)專家共同撰寫，書中描繪了如何使用SystemVerilog創(chuàng)建采用覆蓋主導(dǎo)、隨機約束、基于斷言驗證技術(shù)的綜合驗證環(huán)境，同時為可互用驗證組件指定了建庫數(shù)據(jù)塊。VMM方法學(xué)得到全球數(shù)百家SoC和硅IP驗證團隊的采用，加速開發(fā)基于SystemVerilog的功能強大的驗證環(huán)境，并有助于以較少時間和努力達到可測量的功能覆蓋率目標。
　　
Spreadtrum研發(fā)副總裁冀晉表示：“主流芯片設(shè)計越來越需要使用可廣泛重用IP的基于SoC的設(shè)計技術(shù)。這增加了設(shè)計的復(fù)雜性，給工程師提出更大的驗證挑戰(zhàn)，需要采用強大的新驗證技術(shù)和方法。我們采用了VMM方法學(xué)的標準，它極大提高了我們芯片驗證過程的質(zhì)量和生產(chǎn)率�！禨ystemVerilog驗證方法》是為芯片設(shè)計師和驗證工程師提供的一本重要且實用的參考書�！�
　　
同方微電子公司CTO徐磊說：“強大的可預(yù)測系統(tǒng)化驗證方法學(xué)是開發(fā)復(fù)雜SoC產(chǎn)品必不可少的基礎(chǔ)。VMM方法學(xué)將業(yè)內(nèi)用于SystemVerilog開發(fā)和采用先進的驗證技術(shù)的最佳實踐具體化。無論是驗證工程師、設(shè)計工程師還是項目主管，《SystemVerilog驗證方法學(xué)》都可以幫助這些讀者掌握最先進的驗證方法。”
　　
CEC華大電子設(shè)計劉偉平博士表示：“隨著芯片規(guī)模越來越大、設(shè)計復(fù)雜度越來越高，芯片設(shè)計中的驗證成為設(shè)計師的挑戰(zhàn)。運用VMM方法學(xué)的SystemVerilog可以有效地幫助芯片設(shè)計工程師解決驗證挑戰(zhàn)。我們要感謝Synopsys和ARM將基于SystemVerilog的驗證技術(shù)介紹給中國，并出版了《SystemVerilog驗證方法學(xué)》一書。采用VMM方法學(xué)的中國芯片開發(fā)團隊現(xiàn)在可以分享全球?qū)＜沂褂玫南冗M設(shè)計驗證方法了。”
　　
ARM中國總裁譚軍表示：“SystemVerilog在中國的廣泛采用讓新一代芯片開發(fā)人員能夠利用先進的驗證技術(shù)進行復(fù)雜的SoC設(shè)計。由ARM和Synopsys緊密合作共同研發(fā)的《SystemVerilog驗證方法學(xué)》是利用SystemVerilog能力提高驗證生產(chǎn)率和質(zhì)量的要點指導(dǎo)�！�
　　
Synopsys驗證市場部副總裁George Zafiropoulos表示：“VMM驗證方法學(xué)迅速成為SystemVerilog實際的行業(yè)標準，使全球芯片研發(fā)團隊取得了所預(yù)測驗證的成功�！禨ystemVerilog驗證方法學(xué)》中文版的發(fā)行標志著向中國不斷增長的芯片開發(fā)團隊引入先進技術(shù)所邁出的一大步�！�
　　
2007年5月14日、16日和17日分別在中國北京、上海、深圳舉辦的Synopsys發(fā)現(xiàn)驗證研討會上，將免費分發(fā)VMM方法學(xué)技術(shù)指南和Synopsys最近推出的針對快速驗證環(huán)境開發(fā)的VMM Applications將即時推出。更多信息，請瀏覽http://www.synopsys.com/news/events/seminars/veri_sem.html。

《SystemVerilog驗證方法學(xué)》中文版已由北京航空航天大學(xué)出版社出版發(fā)行，零售價人民幣58元，國內(nèi)各大書店有售。欲了解詳情，請瀏覽www.vmm-sv.com。