雖然來(lái)自Verisity Design公司(去年被Cadence收購(gòu))的“e”語(yǔ)言作為一種專有語(yǔ)言已被廣泛采用,但它卻缺少普遍的EDA供應(yīng)商支持,而這恰是SystemVerilog或IEEE 1800的優(yōu)勢(shì)。SystemVerilog是在Verilog硬件描述語(yǔ)言上增加了斷言和測(cè)試平臺(tái)結(jié)構(gòu)。一些觀察家認(rèn)為“e”語(yǔ)言,也就是現(xiàn)有的IEEE 1647標(biāo)準(zhǔn)前途暗淡。

但是Cadence語(yǔ)言標(biāo)準(zhǔn)部門的總監(jiān)Victor Berman卻透露,“e”許可數(shù)量已經(jīng)從2003年的15,000個(gè)增加到了目前的64,000個(gè)。許多新增許可是在Cadence收購(gòu)Verisity之后發(fā)生的,因?yàn)橛脩舸_信“e”將長(zhǎng)期活躍,他表示。

IEEE標(biāo)準(zhǔn)化給語(yǔ)言的開(kāi)放性套上了固定的“格式”,Berman指出。“我們要向用戶保證‘e’是一種任何人都可以使用的開(kāi)放語(yǔ)言,它定義完善、性能穩(wěn)定而且肯定會(huì)得到普及。”他說(shuō),“這非常類似于Verilog在90年代的狀況?！?/p>

Verilog是一種非常有前途的語(yǔ)言。在90年代初,幾乎所有的EDA供應(yīng)商都主推VHDL,但是Verilog語(yǔ)言(直到被Cadence開(kāi)放前,一直屬于專有語(yǔ)言)卻仍然在芯片設(shè)計(jì)者中流行開(kāi)來(lái)。最終Verilog占了上風(fēng),并且成為一種較以往所有競(jìng)爭(zhēng)對(duì)手都更為廣泛使用的HDL。

今天,業(yè)界也在大力推動(dòng)向SystemVerilog的發(fā)展,該語(yǔ)言已經(jīng)獲得了許多EDA供應(yīng)商和產(chǎn)品的支持?！昂苊黠@,SystemVerilog會(huì)成為新的設(shè)計(jì)和驗(yàn)證標(biāo)準(zhǔn),該語(yǔ)言獲得了來(lái)自設(shè)計(jì)社群和EDA產(chǎn)業(yè)的廣泛支持?！毙滤脊緟f(xié)同工作業(yè)務(wù)主管Karen Bartleson表示,“我們沒(méi)有看到業(yè)界對(duì)‘e'標(biāo)準(zhǔn)表現(xiàn)出太多的興趣或需求?！?/p>

SystemVerilog發(fā)展動(dòng)力

“事實(shí)上,如果那些公司曾經(jīng)打算為‘e’語(yǔ)言打造工具,那么他們?cè)鐟?yīng)該完成了?！盡entor Graphics公司副總裁兼設(shè)計(jì)驗(yàn)證和測(cè)試部總經(jīng)理Robert Hum指出,“雖然只要客戶需要,Mentor Graphics就會(huì)支持與Specman工具的產(chǎn)品集成,但很明顯SystemVerilog將成為驗(yàn)證市場(chǎng)上的標(biāo)準(zhǔn)?！?/p>

Cadence公司也是SystemVerilog的強(qiáng)大支持者,Berman表示,但是Cadence卻看到了兩種語(yǔ)言之間的區(qū)別。“‘e'更像是一種以規(guī)范驅(qū)動(dòng)(specification-driven)的語(yǔ)言,而不是從寄存器傳送級(jí)(RTL)提升的語(yǔ)言。所以如果是進(jìn)行系統(tǒng)級(jí)驗(yàn)證,使用像‘e'這樣的語(yǔ)言會(huì)有很大優(yōu)勢(shì)?！彼f(shuō)道。具他介紹,現(xiàn)在大部分使用“e”的工程師,都來(lái)自專門的驗(yàn)證小組。

截至目前,支持“e”語(yǔ)言的唯一工具仍是Verisity開(kāi)發(fā)的Specman產(chǎn)品。但是隨著一些小型供應(yīng)商積極參與進(jìn)來(lái),“e”語(yǔ)言生態(tài)系統(tǒng)已經(jīng)開(kāi)始初露端倪。Posedge軟件公司就是其中一家,該公司銷售的InnerLoop是針對(duì)“e”語(yǔ)言的集成開(kāi)發(fā)環(huán)境(IDE)。

“每位真正體會(huì)到‘e’性能的工程師都認(rèn)為‘e'優(yōu)于SystemVerilog?！盤osedge公司的總裁Dave Von Bank表示,“他們對(duì)‘e'所提供的解決方案充滿興趣。”

目前全球大約有5,000萬(wàn)到1億行“e”代碼,而且始終有成百個(gè)正在進(jìn)行中的項(xiàng)目,Von Bank指出?！皫А甧'的InnerLoop現(xiàn)在很有市場(chǎng),”他說(shuō),“我們選擇首先關(guān)注‘e',因?yàn)镾ystemVerilog的使用不能完全滿足要求?！?/p>

Von Bank指出,使“e”更勝一籌的一個(gè)特性是面向方面編程(AOP)。但這同時(shí)也會(huì)帶來(lái)極大的文件管理挑戰(zhàn),因?yàn)椤癳”用戶通過(guò)在新文件中編寫新代碼來(lái)拓展對(duì)象,而不是在舊文件中進(jìn)行編輯。InnerLoop則有助于解決由此產(chǎn)生的文件導(dǎo)航問(wèn)題,他表示。

Amiq Consulting公司最近在EclIPse開(kāi)源標(biāo)準(zhǔn)基礎(chǔ)上也推出了適合“e”語(yǔ)言的IDE。“我們已經(jīng)發(fā)現(xiàn)了許多來(lái)自業(yè)界的需求?！痹摴緞?chuàng)始人Cristian Amitroaie透露。Amiq公司還提供“e”語(yǔ)言剖析器、導(dǎo)入瀏覽器和名稱檢查器。“對(duì)Amiq來(lái)說(shuō),IEEE標(biāo)準(zhǔn)化進(jìn)程的最后一步,就是進(jìn)一步確認(rèn)Cadence會(huì)信守諾言,并支持‘e'語(yǔ)言技術(shù)?！盇mitroaie表示。

Globetech Solutions公司可以提供基于“e”的驗(yàn)證IP,包括外設(shè)、存儲(chǔ)和面向測(cè)試設(shè)計(jì)的產(chǎn)品?！癐EEE對(duì)‘e'的標(biāo)準(zhǔn)化保證了來(lái)自社會(huì)的持續(xù)投資,并促進(jìn)我們實(shí)現(xiàn)基于‘e'的發(fā)展藍(lán)圖?！盙lobetech公司的常務(wù)董事Stylianos Diamantidis說(shuō)。

Cadence牽頭e語(yǔ)言標(biāo)準(zhǔn)化

盡管有這些新的推動(dòng)力,但語(yǔ)言標(biāo)準(zhǔn)化方面的工作似乎一直都在由Cadence牽頭。而Cadence的驗(yàn)證技術(shù)總監(jiān)Yaron Kashai,也正是IEEE 1647工作組的主席。

“這個(gè)工作組更像是由個(gè)人組成的團(tuán)體,而不是公司代表。很難指出誰(shuí)是標(biāo)準(zhǔn)背后的公司。”Kashai指出,“我認(rèn)為這里沒(méi)有人把自己當(dāng)作是EDA供應(yīng)商的代表。”

新思公司的Bartleson表示,很奇怪Cadence決定不遵循IEEE合作標(biāo)準(zhǔn)程序,該程序規(guī)定工作組中的每位公司代表都有一紀(jì)投票權(quán)。IEEE 1800 SystemVerilog委員遵循了該程序,它能確保不會(huì)由一家供應(yīng)商來(lái)主導(dǎo)標(biāo)準(zhǔn),Bartleson介紹。

Kashai則認(rèn)為,IEEE 1647工作組包括了Verisity的員工、用戶、學(xué)術(shù)界人士以及其它牽扯到商業(yè)利益的組織。他透露,商用“e”語(yǔ)言和IEEE 1647之間存在微小差異,而工作組的大部分工作就是對(duì)標(biāo)準(zhǔn)進(jìn)行闡明。

然而Kashai也強(qiáng)調(diào),Verisity公司早在2003年就向IEEE貢獻(xiàn)了“e”語(yǔ)言,而此后Verisity和Cadence對(duì)該語(yǔ)言進(jìn)行了一些改進(jìn)。但今天的商用“e”語(yǔ)言中超過(guò)95%的部分已經(jīng)涵蓋在標(biāo)準(zhǔn)中了,他說(shuō)道。

一份官方的語(yǔ)言參考手冊(cè)大約會(huì)在近期完成,Berman介紹。在此期間,IEEE 1647網(wǎng)站上會(huì)發(fā)布非正式的草案。

作者:葛立偉