Synopsys在華確立VMM驗證方法標準

　　Synopsys今天宣布，由ARM 和 Synopsys 公司推出的SystemVerilog 驗證方法學(xué)（VMM）被中國主要電子公司采用，用于開(kāi)發(fā)先進(jìn)驗證環(huán)境。Synopsys 還宣布，《SystemVerilog 驗證方法學(xué)》一書(shū)中文版已由中國航空航天大學(xué)出版發(fā)行。至今，本書(shū)的英文版已售出3,500多本。

　　《SystemVerilog 驗證方法學(xué)》由 ARM 和 Synopsys 公司的技術(shù)專(zhuān)家共同撰寫(xiě)，書(shū)中描繪了如何使用 SystemVerilog 創(chuàng )建采用覆蓋主導、隨機約束、基于斷言驗證技術(shù)的綜合驗證環(huán)境，同時(shí)為可互用驗證組件指定了建庫數據塊。VMM 方法學(xué)得到全球數百家 SoC 和硅 IP驗證團隊的采用，加速開(kāi)發(fā)基于 SystemVerilog的功能強大的驗證環(huán)境，并有助于以較少時(shí)間和努力達到可測量的功能覆蓋率目標。

　　Spreadtrum 研發(fā)副總裁冀晉表示：“主流芯片設計越來(lái)越需要使用可廣泛重用IP的基于SoC 的設計技術(shù)。這增加了設計的復雜性，給工程師提出更大的驗證挑戰，需要采用強大的新驗證技術(shù)和方法。我們采用了 VMM 方法學(xué)的標準，它極大提高了我們芯片驗證過(guò)程的質(zhì)量和生產(chǎn)率?！禨ystemVerilog 驗證方法》是為芯片設計師和驗證工程師提供的一本重要且實(shí)用的參考書(shū)?！?/P>

　　同方微電子公司 CTO 徐磊說(shuō)：“強大的可預測系統化驗證方法學(xué)是開(kāi)發(fā)復雜SoC產(chǎn)品必不可少的基礎。VMM 方法學(xué)將業(yè)內用于SystemVerilog 開(kāi)發(fā)和采用先進(jìn)的驗證技術(shù)的最佳實(shí)踐具體化。無(wú)論是驗證工程師、設計工程師還是項目主管，《SystemVerilog驗證方法學(xué)》都可以幫助這些讀者掌握最先進(jìn)的驗證方法?！?/P>

　　CEC 華大電子設計劉偉平博士表示：“隨著(zhù)芯片規模越來(lái)越大、設計復雜度越來(lái)越高，芯片設計中的驗證成為設計師的挑戰。運用VMM 方法學(xué)的SystemVerilog可以有效地幫助芯片設計工程師解決驗證挑戰。我們要感謝Synopsys 和 ARM 將基于SystemVerilog的驗證技術(shù)介紹給中國，并出版了《SystemVerilog驗證方法學(xué)》一書(shū)。采用 VMM 方法學(xué)的中國芯片開(kāi)發(fā)團隊現在可以分享全球專(zhuān)家使用的先進(jìn)設計驗證方法了?！?/P>

　　ARM中國總裁譚軍表示：“SystemVerilog 在中國的廣泛采用讓新一代芯片開(kāi)發(fā)人員能夠利用先進(jìn)的驗證技術(shù)進(jìn)行復雜的 SoC 設計。由 ARM 和 Synopsys 緊密合作共同研發(fā)的《SystemVerilog驗證方法學(xué)》是利用SystemVerilog能力提高驗證生產(chǎn)率和質(zhì)量的要點(diǎn)指導?！?/P>

　　Synopsys 驗證市場(chǎng)部副總裁 George Zafiropoulos 表示：“VMM 驗證方法學(xué)迅速成為 SystemVerilog 實(shí)際的行業(yè)標準，使全球芯片研發(fā)團隊取得了所預測驗證的成功?！禨ystemVerilog驗證方法學(xué)》中文版的發(fā)行標志著(zhù)向中國不斷增長(cháng)的芯片開(kāi)發(fā)團隊引入先進(jìn)技術(shù)所邁出的一大步?！?/P>

　　2007年5月14日、16日和17日分別在中國北京、上海、深圳舉辦的 Synopsys 發(fā)現驗證研討會(huì )上，將免費分發(fā)VMM 方法學(xué)技術(shù)指南和 Synopsys 最近推出的針對快速驗證環(huán)境開(kāi)發(fā)的 VMM Applications 將即時(shí)推出。

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