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