电子工程专辑
UBM China

明导将把0-In的技术集成入功能验证套件

上网日期: 2004年12月01日 ?? 作者: Richard Goering ?? 我来评论 字号:放大 | 缩小 分享到:sina weibo tencent weibo tencent weibo


打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮

1.扫描左侧二维码
2.点击右上角的分享按钮
3.选择分享给朋友

关键字:验证? 声明? 编程语言接口? 仿真器?

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库。图1:明导升级验证套件

“毫无疑问,为了简化销售,我们将重塑产品使之更适合明导的销售渠道,但目前还没有要公布的消息,”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还标志着明导公司首次支持基于声明的功能覆盖。该功能是增强的PSL支持的一部分。借助功能覆盖,用户能定义与验证相关的序列和条件,用于他们采用PSL的设计。然后,在每次PSL覆盖指示保持时,ModelSim可以进行记录。ModelSim 6.0正在交付给客户,起价为4,495美元。

作者:葛立伟






我来评论 - 明导将把0-In的技术集成入功能验证套件
评论:
*? 您还能输入[0]字
分享到: 新浪微博 qq空间
验证码:
????????????????
?

关注电子工程专辑微信
扫描以下二维码或添加微信号“eet-china”

访问电子工程专辑手机网站
随时把握电子产业动态,请扫描以下二维码

?

5G网络在提供1Gbps至10Gbps吞吐量方面具有很好的前途, 并且功耗要求比今天的网络和手机都要低,同时还能为关键应用提供严格的延时性能。本期封面故事将会与您分享5G的关键技术发展,以及在4G网络上有怎样的进步。

?
?
有问题请反馈
推荐到论坛,赢取4积分X