le="display: block;">IEEE已經(jīng)批準(zhǔn)了Cadence設(shè)計(jì)系統(tǒng)公司的“e”驗(yàn)證語言,從而使其成為任何人都可以使用或支持的開放型標(biāo)準(zhǔn)語言。但該標(biāo)準(zhǔn)的及時(shí)出現(xiàn)是否能夠抵擋來自SystemVerilog的挑戰(zhàn)還很難說。
雖然來自Verisity Design公司(去年被Cadence收購)的“e”語言作為一種專有語言已被廣泛采用,但它卻缺少普遍的EDA供應(yīng)商支持,而這恰是SystemVerilog或IEEE 1800的優(yōu)勢。SystemVerilog是在Verilog硬件描述語言上增加了斷言和測試平臺結(jié)構(gòu)。一些觀察家認(rèn)為“e”語言,也就是現(xiàn)有的IEEE 1647標(biāo)準(zhǔn)前途暗淡。
但是Cadence語言標(biāo)準(zhǔn)部門的總監(jiān)Victor Berman卻透露,“e”許可數(shù)量已經(jīng)從2003年的15,000個(gè)增加到了目前的64,000個(gè)。許多新增許可是在Cadence收購Verisity之后發(fā)生的,因?yàn)橛脩舸_信“e”將長期活躍,他表示。
IEEE標(biāo)準(zhǔn)化給語言的開放性套上了固定的“格式”,Berman指出。“我們要向用戶保證‘e’是一種任何人都可以使用的開放語言,它定義完善、性能穩(wěn)定而且肯定會得到普及。”他說,“這非常類似于Verilog在90年代的狀況。”
Verilog是一種非常有前途的語言。在90年代初,幾乎所有的EDA供應(yīng)商都主推VHDL,但是Verilog語言(直到被Cadence開放前,一直屬于專有語言)卻仍然在芯片設(shè)計(jì)者中流行開來。最終Verilog占了上風(fēng),并且成為一種較以往所有競爭對手都更為廣泛使用的HDL。
今天,業(yè)界也在大力推動向SystemVerilog的發(fā)展,該語言已經(jīng)獲得了許多EDA供應(yīng)商和產(chǎn)品的支持。“很明顯,SystemVerilog會成為新的設(shè)計(jì)和驗(yàn)證標(biāo)準(zhǔn),該語言獲得了來自設(shè)計(jì)社群和EDA產(chǎn)業(yè)的廣泛支持。”新思公司協(xié)同工作業(yè)務(wù)主管Karen Bartleson表示,“我們沒有看到業(yè)界對‘e'標(biāo)準(zhǔn)表現(xiàn)出太多的興趣或需求。”
SystemVerilog發(fā)展動力
“事實(shí)上,如果那些公司曾經(jīng)打算為‘e’語言打造工具,那么他們早應(yīng)該完成了。”Mentor Graphics公司副總裁兼設(shè)計(jì)驗(yàn)證和測試部總經(jīng)理Robert Hum指出,“雖然只要客戶需要,Mentor Graphics就會支持與Specman工具的產(chǎn)品集成,但很明顯SystemVerilog將成為驗(yàn)證市場上的標(biāo)準(zhǔn)。”
Cadence公司也是SystemVerilog的強(qiáng)大支持者,Berman表示,但是Cadence卻看到了兩種語言之間的區(qū)別。“‘e'更像是一種以規(guī)范驅(qū)動(specification-driven)的語言,而不是從寄存器傳送級(RTL)提升的語言。所以如果是進(jìn)行系統(tǒng)級驗(yàn)證,使用像‘e'這樣的語言會有很大優(yōu)勢。”他說道。具他介紹,現(xiàn)在大部分使用“e”的工程師,都來自專門的驗(yàn)證小組。
截至目前,支持“e”語言的唯一工具仍是Verisity開發(fā)的Specman產(chǎn)品。但是隨著一些小型供應(yīng)商積極參與進(jìn)來,“e”語言生態(tài)系統(tǒng)已經(jīng)開始初露端倪。Posedge軟件公司就是其中一家,該公司銷售的InnerLoop是針對“e”語言的集成開發(fā)環(huán)境(IDE)。
“每位真正體會到‘e’性能的工程師都認(rèn)為‘e'優(yōu)于SystemVerilog。”Posedge公司的總裁Dave Von Bank表示,“他們對‘e'所提供的解決方案充滿興趣。”
目前全球大約有5,000萬到1億行“e”代碼,而且始終有成百個(gè)正在進(jìn)行中的項(xiàng)目,Von Bank指出。“帶‘e'的InnerLoop現(xiàn)在很有市場,”他說,“我們選擇首先關(guān)注‘e',因?yàn)镾ystemVerilog的使用不能完全滿足要求。”
Von Bank指出,使“e”更勝一籌的一個(gè)特性是面向方面編程(AOP)。但這同時(shí)也會帶來極大的文件管理挑戰(zhàn),因?yàn)椤癳”用戶通過在新文件中編寫新代碼來拓展對象,而不是在舊文件中進(jìn)行編輯。InnerLoop則有助于解決由此產(chǎn)生的文件導(dǎo)航問題,他表示。
Amiq Consulting公司最近在EclIPse開源標(biāo)準(zhǔn)基礎(chǔ)上也推出了適合“e”語言的IDE。“我們已經(jīng)發(fā)現(xiàn)了許多來自業(yè)界的需求。”該公司創(chuàng)始人Cristian Amitroaie透露。Amiq公司還提供“e”語言剖析器、導(dǎo)入瀏覽器和名稱檢查器。“對Amiq來說,IEEE標(biāo)準(zhǔn)化進(jìn)程的最后一步,就是進(jìn)一步確認(rèn)Cadence會信守諾言,并支持‘e'語言技術(shù)。”Amitroaie表示。
Globetech Solutions公司可以提供基于“e”的驗(yàn)證IP,包括外設(shè)、存儲和面向測試設(shè)計(jì)的產(chǎn)品。“IEEE對‘e'的標(biāo)準(zhǔn)化保證了來自社會的持續(xù)投資,并促進(jìn)我們實(shí)現(xiàn)基于‘e'的發(fā)展藍(lán)圖。”Globetech公司的常務(wù)董事Stylianos Diamantidis說。
Cadence牽頭e語言標(biāo)準(zhǔn)化
盡管有這些新的推動力,但語言標(biāo)準(zhǔn)化方面的工作似乎一直都在由Cadence牽頭。而Cadence的驗(yàn)證技術(shù)總監(jiān)Yaron Kashai,也正是IEEE 1647工作組的主席。
“這個(gè)工作組更像是由個(gè)人組成的團(tuán)體,而不是公司代表。很難指出誰是標(biāo)準(zhǔn)背后的公司。”Kashai指出,“我認(rèn)為這里沒有人把自己當(dāng)作是EDA供應(yīng)商的代表。”
新思公司的Bartleson表示,很奇怪Cadence決定不遵循IEEE合作標(biāo)準(zhǔn)程序,該程序規(guī)定工作組中的每位公司代表都有一紀(jì)投票權(quán)。IEEE 1800 SystemVerilog委員遵循了該程序,它能確保不會由一家供應(yīng)商來主導(dǎo)標(biāo)準(zhǔn),Bartleson介紹。
Kashai則認(rèn)為,IEEE 1647工作組包括了Verisity的員工、用戶、學(xué)術(shù)界人士以及其它牽扯到商業(yè)利益的組織。他透露,商用“e”語言和IEEE 1647之間存在微小差異,而工作組的大部分工作就是對標(biāo)準(zhǔn)進(jìn)行闡明。
然而Kashai也強(qiáng)調(diào),Verisity公司早在2003年就向IEEE貢獻(xiàn)了“e”語言,而此后Verisity和Cadence對該語言進(jìn)行了一些改進(jìn)。但今天的商用“e”語言中超過95%的部分已經(jīng)涵蓋在標(biāo)準(zhǔn)中了,他說道。
一份官方的語言參考手冊大約會在近期完成,Berman介紹。在此期間,IEEE 1647網(wǎng)站上會發(fā)布非正式的草案。
作者:葛立偉
