EDA業界的許多收購都導致人才或技術的流失,但明導資訊試圖改變這種歷史。最近,它完成了對0-In設計自動化公司的收購,并專門為0-In工具設立了一個獨立的業務部門。它還開始把0-In公司基于聲明的設計能力集成到明導的功能驗證套件中。

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

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

0-In公司的所有41位雇員都加入了明導公司, 0-In公司前首席執行官、現任明導公司0-In 功能驗證業務部領導的Steve White表示。其中包括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能夠達到更佳的性能和更高的效率?！盚um表示,“這是一個逐步發展的過程,但明年初我們將看到這些技術集成后的效果?！?

因此,0-In的技術將成為明導公司可伸縮驗證解決方案套件的一部分。該套件包括ModelSim、硬件/軟件協同仿真、模擬和混合信號驗證、等效性檢查和硬件模擬。

與此同時,明導公司將發布新版的ModelSim HDL仿真器。ModelSim 6.0將包含改進的聲明和功能驗證能力,更好地支持屬性規范語言(PSL),并增加對SystemVerilog和SystemC的支持,增強用戶接口。

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

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

ModelSim 6.0還標志著明導公司首次支持基于聲明的功能覆蓋。該功能是增強的PSL支持的一部分。借助功能覆蓋,用戶能定義與驗證相關的序列和條件,用于他們采用PSL的設計。然后,在每次PSL覆蓋指示保持時,ModelSim可以進行記錄。ModelSim 6.0正在交付給客戶,起價為4,495美元。

作者:葛立偉