電子設(shè)計(jì)自動(dòng)化(EDA)軟件工具領(lǐng)導(dǎo)廠商Synopsys日前宣布,由ARM和Synopsys公司推出的SystemVerilog驗(yàn)證方法學(xué)(VMM)被中國主要電子公司采用,用于開發(fā)先進(jìn)驗(yàn)證環(huán)境。Synopsys 還宣布,《SystemVerilog驗(yàn)證方法學(xué)》一書中文版已由中國航空航天大學(xué)出版發(fā)行。至今,本書的英文版已售出3,500多本。
《SystemVerilog驗(yàn)證方法學(xué)》由ARM和Synopsys公司的技術(shù)專家共同撰寫,書中描繪了如何使用SystemVerilog創(chuàng)建采用覆蓋主導(dǎo)、隨機(jī)約束、基于斷言驗(yàn)證技術(shù)的綜合驗(yàn)證環(huán)境,同時(shí)為可互用驗(yàn)證組件指定了建庫數(shù)據(jù)塊。VMM方法學(xué)得到全球數(shù)百家SoC和硅IP驗(yàn)證團(tuán)隊(duì)的采用,加速開發(fā)基于SystemVerilog的功能強(qiáng)大的驗(yàn)證環(huán)境,并有助于以較少時(shí)間和努力達(dá)到可測(cè)量的功能覆蓋率目標(biāo)。
Spreadtrum研發(fā)副總裁冀晉表示:“主流芯片設(shè)計(jì)越來越需要使用可廣泛重用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)證過程的質(zhì)量和生產(chǎn)率。《SystemVerilog驗(yàn)證方法》是為芯片設(shè)計(jì)師和驗(yàn)證工程師提供的一本重要且實(shí)用的參考書。”
同方微電子公司CTO徐磊說:“強(qiáng)大的可預(yù)測(cè)系統(tǒng)化驗(yàn)證方法學(xué)是開發(fā)復(fù)雜SoC產(chǎn)品必不可少的基礎(chǔ)。VMM方法學(xué)將業(yè)內(nèi)用于SystemVerilog開發(fā)和采用先進(jìn)的驗(yàn)證技術(shù)的最佳實(shí)踐具體化。無論是驗(yàn)證工程師、設(shè)計(jì)工程師還是項(xiàng)目主管,《SystemVerilog驗(yàn)證方法學(xué)》都可以幫助這些讀者掌握最先進(jìn)的驗(yàn)證方法。”
CEC華大電子設(shè)計(jì)劉偉平博士表示:“隨著芯片規(guī)模越來越大、設(shè)計(jì)復(fù)雜度越來越高,芯片設(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ù)介紹給中國,并出版了《SystemVerilog驗(yàn)證方法學(xué)》一書。采用VMM方法學(xué)的中國芯片開發(fā)團(tuán)隊(duì)現(xiàn)在可以分享全球?qū)＜沂褂玫南冗M(jìn)設(shè)計(jì)驗(yàn)證方法了。”
ARM中國總裁譚軍表示:“SystemVerilog在中國的廣泛采用讓新一代芯片開發(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)證的成功。《SystemVerilog驗(yàn)證方法學(xué)》中文版的發(fā)行標(biāo)志著向中國不斷增長的芯片開發(fā)團(tuán)隊(duì)引入先進(jìn)技術(shù)所邁出的一大步。”
2007年5月14日、16日和17日分別在中國北京、上海、深圳舉辦的Synopsys發(fā)現(xiàn)驗(yàn)證研討會(huì)上,免費(fèi)分發(fā)了VMM方法學(xué)技術(shù)指南和Synopsys最近推出的針對(duì)快速驗(yàn)證環(huán)境開發(fā)的VMM Applications將即時(shí)推出。
《SystemVerilog驗(yàn)證方法學(xué)》中文版已由北京航空航天大學(xué)出版社出版發(fā)行,零售價(jià)人民幣58元,國內(nèi)各大書店有售。
