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

明導整合0-In技術於其功能驗證套件中

上網時間: 2004年12月01日     打印版  Bookmark and Share  字型大小:  

關鍵字:驗證  聲明  編程語言介面  模擬器  屬性規格語言 

EDA業界的許多併購行動都會導致人才或技術的流失,但明導國際試圖改變這種歷史。最近,它收購了0-In設計自動化公司,並專門為0-In工具成立了一個獨立的業務部門。此外,它還開始把0-In公司採用聲明(assertion)的設計能力整合在明導的功能驗證套件中。

與此同時,明導將推出新版本的ModelSim模擬器,它增加了對聲明、功能範圍和SystemVerilog語言的支援。雖然0-In的技術不是該版本的一部份,但它將被融入未來的版本中,該公司發言人表示。

今年6月,明導公司宣佈收購採用聲明的驗證工具先驅0-In公司。這筆價值約5,000萬美元的收購已於9月完成。明導公司已經成立0-In功能驗證業務部。

0-In公司前執行長、現任明導公司0-In功能驗證業務部主管的Steve White表示,0-In公司的所有41位員工都加入了明導公司。其中包括0-In公司前董事長兼技術長、現任明導公司首席工程科學家的Kurt Widdoes和0-In公司前首席架構師、現任明導公司首席工程師的Richard Ho。

新成立的業務部門將繼續銷售0-In產品,包括Archer驗證工具、靜態形式驗證和採用聲明的驗證工具,以及用於標準介面和公共設計單元的CheckerWare驗證IP資料庫。

“毫無疑問,為了簡化銷售,我們將重塑產品,使其更適合明導的銷售管道,但目前還沒有要公佈的消息,”White表示。他指出,明導和0-In將交叉鏈接他們的行銷組織,儘管0-In業務部門也有它自己的現場應用工程師。

White還透露,0-In與Cadence、新思、Verisity和Novas的技術合作關係仍將繼續。但0-In與Cadence在2004年初宣佈的OEM關係將中斷。該協議是Cadence公司在明導宣佈收購0-In的計畫後提出中止的,White說。

“我們對此感到些許遺憾,”明導公司設計驗證和測試部副總裁兼總經理Robert Hum表示。

0-In的Archer工具產生能夠與各種第三方模擬器共同使用的監視器或‘檢查器’。目前,它與明導ModelSim模擬器的介面非常類似於與其它EDA供應商模擬器的介面,都是編程語言介面(PLI)和圖形用戶介面(GUI)。

“目前的計畫是繼續整合我們的靜態和動態形式驗證能力以及最近發佈的CDC-FX技術。CDC-FX允許產生亞穩態效應。”White說,“這些技術自然將成為ModelSim模擬器的有機組成部份。”

“我們收購0-In的目的是開發像目前0-In具備的那些功能,但必須與模擬器核心整合,因而使ModelSim能夠達到更佳的性能和更高的效率。”Hum表示,“這是一個逐步發展的過程,但明年初我們將看到這些技術整合後的效果。”

因此,0-In的技術將成為明導公司可擴充驗證解決方案套件的一部份。該套件包括ModelSim、硬體/軟體協同驗證、類比和混合訊號驗證、等效性檢查和硬體模擬。

與此同時,明導公司將發佈新版的ModelSim HDL模擬器。ModelSim 6.0將包含改進的聲明和功能驗證能力,更有效地支援屬性規格語言(PSL),並增加對SystemVerilog和SystemC的支援,增強用戶介面。

Hum指出,以前的ModelSim 5.8版本已經具有一些聲明功能,但新的版本提供更好的性能和更完整的圖形用戶介面。

“這將使它能支援SystemVerilog聲明,”Hum表示,“但這項功能目前還沒有就緒,而且它也還不能支援SystemVerilog測試平台功能。”

ModelSim 6.0還標誌著明導公司首次支援採用聲明的功能性覆蓋(functional coverage)。該功能是增強的PSL支援的一部份。藉由該功能覆蓋,用戶能定義與驗證相關的序列和條件,用於他們採用PSL的設計。然後,在每次PSL覆蓋指示保持時,ModelSim可以進行記錄。

作者:葛立偉





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


EE人生人氣排行
 
返回頁首