Global Sources
電子工程專輯
 
電子工程專輯 > EDA/IP
 
 
EDA/IP  

標準斷言語言兩虎相爭 飛思卡爾專家縱論發展後勢

上網時間: 2005年02月24日     打印版  Bookmark and Share  字型大小:  

關鍵字:Design and Verification Conference  DVCon  Freescale  Superlog  Motorola 

為什麼有兩種標準斷言語言──特色規格語言(PSL)和SystemVerilog斷言(SVA)?如何比較這兩種語言?飛思卡爾半導體公司科學家John Havlicek日前在設計驗証研討會(DVCon)的演講中提出了他的看法。

他指出:「有兩個標準語言的主要原因是有兩個委員會。」但他承認,這兩個委員會的目標互補,並因此導致了兩種語言針對互補的工程需求。

PSL來自於Accellera的形式驗証技術委員會(FVTC),2000年開始。該組織考慮了幾種特色語言,並選定以IBM的Sugar語言為基礎。後來誕生了PSL,該語言去年被捐獻給IEEE,目前作為IEEE P1850進行標準化工作。

SVA來自Accellera的SVA委員會,該組織接收FVTC不考慮或拒絕的技術,包括Superlog語言、摩托羅拉的CBV、Synopsys的OpenVera和英特爾的ForSpec。所產生的斷言(assertion)被納入SystemVerilog語言,目前作為IEEE P1800進行標準化。

Havlicek表示,PSL旨在成為一種「針對靜態驗証的全面的特色語言,子集適合動態驗証。」形成對比的是,SVA是一種「豐富的動態驗証特色語言,子集適合靜態驗証。」

此外,PSL是一種可擴充語言框架,與多種HDL合作,而SVA由直接整合在Verilog的斷言組成,因此硬體設計師能在HDL程式碼內包含行內斷言。

Havlicek指出,正是由於這些差異的存在,「部份人士已經提出對兩種語言進行調整」。Havlicek認為,目前可能的情形是,將「縮減後的」SystemVerilog一致性命題映射到PSL基礎語言。結果是兩種語言非常接近,足夠進行自動化翻譯,就像「同一語言的不同方言。」

(Richard Goering)





投票數:   加入我的最愛
我來評論 - 標準斷言語言兩虎相爭 飛思卡爾專家縱...
評論:  
*  您還能輸入[0]個字
*驗證碼:
 
論壇熱門主題 熱門下載
 •   將邁入40歲的你...存款多少了  •  深入電容觸控技術就從這個問題開始
 •  我有一個數位電源的專利...  •  磷酸鋰鐵電池一問
 •   關於設備商公司的工程師(廠商)薪資前景  •  計算諧振轉換器的同步整流MOSFET功耗損失
 •   Touch sensor & MEMS controller  •  針對智慧電表PLC通訊應用的線路驅動器
 •   下週 深圳 llC 2012 關於PCB免費工具的研討會  •  邏輯閘的應用


EE人生人氣排行
 
返回頁首