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

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

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

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

新成立的業(yè)務部門將繼續(xù)銷售0-In產品,包括Archer覆蓋驅動驗證工具、靜態(tài)形式驗證和基于聲明的驗證工具,以及用于標準接口和公共設計單元的CheckerWare驗證IP庫。

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

White還透露,0-In與Cadence、新思、Verisity和Novas的技術合作關系仍將繼續(xù)。但0-In與Cadence在2004年初宣布的OEM關系將中斷。該協(xié)議是Cadence公司在明導宣布收購0-In的計劃后提出中止的,White說。

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

0-In的Archer工具產生能夠與各種第三方仿真器共同使用的監(jiān)視器或“檢查器”。目前,它與明導ModelSim仿真器的接口非常類似于與其它EDA供應商仿真器的接口,都是編程語言接口(PLI)和圖形用戶接口(GUI)。

“目前的計劃是繼續(xù)集成我們的靜態(tài)和動態(tài)形式驗證能力以及最近發(fā)布的CDC-FX技術。CDC-FX允許產生亞穩(wěn)態(tài)效應。”White說,“這些技術自然將成為ModelSim仿真器的有機組成部分。”

“我們收購0-In的意圖是創(chuàng)建0-In今天已有的那類功能,但必須與仿真器內核集成,從而使ModelSim能夠達到更佳的性能和更高的效率。”Hum表示,“這是一個逐步發(fā)展的過程,但明年初我們將看到這些技術集成后的效果。”

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

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

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

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

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

作者:葛立偉