冲电气选用Cadence形式验证工具开展DSP内核分析

上网时间: 2006年07月12日? 我来评论 【字号: ? ?小】

关键字:DSP内核? 冲电气? Cadence?

日前,冲电气工业株式会社(Oki)已经采纳Cadence设计系统公司的Incisive Formal Verifier做为其基于断言的形式验证(ABV)标准。通过在设计初期阶段采用Cadence该形式验证工具,Oki公司可改善产品交付和整体质量。Incisive Formal Verifier使得Oki公司的设计团队能够在模拟测试环境之前数月就开始进行验证,并迅速找出存在的设计缺陷。以前这些缺陷在产品交付周期中极难被发现,造成的代价极其高昂。

Oki公司的电信与汽车系统业务部电信大规模集成电路设计处高级经理Yasuhiro Ohno 说:“快速可靠地验证VoIP LSI产品的DSP内核,对于我们的业务极为重要。在过去,我们已经通过基于断言的动态验证,在模拟过程中有效地提高了验证闭合。通过在模拟之前的工作流程中加入基于断言的形式验证, Incisive Formal Verifier已经可以将产品开发进度缩短数月并提高整体设计品质。基于我们的经验,我们将在设计与验证团队中大规模采用Incisive Formal Verifier形式验证工具,以缩短我们的产品上市周期。”

据介绍,该工具特别适用于需要在整个设计过程初期增加功能验证能力的设计团队。作为基于断言的完整验证流程的一部分,Incisive Formal Verifier能够在模拟测试环境之前对设计模块进行验证,更早地并以更低的成本找出功能上的缺陷。Incisive Formal Verifier能够支持广泛的断言语言,包括PSL (IEEE 1850)和SVA (IEEE 1800),以及如Accellera的 Open Verification Library等多种断言库,便于在任意流程中采用。

工具结合形式分析方法学,能够加速模块级开发。随着设计工作进入模块集成阶段,同样的断言可以在形式验证、模拟和硬件加速/硬件仿真中重复使用,特别是通过减少集成与调试次数可以提高验证流程的效果。

Cadence验证部门市场营销全球副总裁Steve Glaser 表示:“我们高兴地看到像Oki这样的业界著名企业采用Incisive Formal Verifier改善其验证流程。Oki取得的成果与我们许多其它客户所取得的成果类似。在设计周期初期采用形式分析,并将其作为基于断言的完整验证流程的一部分可以获得巨大回报。”

标签 DSP??

[ 投票数:? ] 收藏 ??? 打印版 ??? 推荐给同仁 ??? 发送查询 ??? ?订阅杂志

评论
免费订阅资讯速递
信息速递-请选择您感兴趣的技术领域:
  • 安防监控
  • 便携设备
  • 消费电子
  • 通信与网络
  • 分销与服务
  • 制造与测试
  • 工业与医疗
  • 汽车电子
  • 计算机与OA
  • 电源管理
  • 无源器件与模组
  • 新能源
  • 供应链管理
论坛速递
相关信息
  • Cadence公司
  • Cadence(Cadence Design Systems Inc.)是铿腾设计系统公司的英文简称,Cadence一个专门从事电子设计自动化(EDA)的软件公司,由SDA Systems和ECAD两家公司于1988年兼并而成。
    Cadence是全球最大的电子设计技术(Electronic Design Technologies)、程序方案服务和设计服务供应商。其解决方案旨在提升和监控半导体、计算机系统、网络工程和电信设备、消费电子产品以及其它各类型电子产品的设计。产品涵盖了电子设计的整个流程,包括系统级设计,功能验证,IC综合及布局布线,模拟、混合信号及射频IC设计,全定制集成电路设计,IC物理验证,PCB设计和硬件仿真建模等。Cadence总部位于美国加州圣何塞(San Jose),在全球各地设有销售办事处、设计及研发中心。

  • 什么是DSP内核?
  • 国际电子商情提供相关DSP内核技术文章及相关DSP内核新闻趋势,及更新最新相关DSP内核电子产品技术

  • 什么是冲电气?
  • 国际电子商情提供相关冲电气技术文章及相关冲电气新闻趋势,及更新最新相关冲电气电子产品技术

?新浪微博推荐
Global Sources


编辑推荐
?大家正在说


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

1.扫描左侧二维码
2.点击右上角的分享按钮
3.选择分享给朋友
电子元器件数据手册下载
数据手册搜索

Datasheets China.com

《汽车电子特刊》

汽车电子系统在现代的汽车中占有的比重越来越高,对产品设计的工程师来说,产品的设计和验证面临着很多的挑战。本期《汽车电子特刊》将会向您呈现ADI技术对于汽车电子行业的应用等,还有IIC汽车电子论坛的精彩回顾哦!

扫一扫,关注最新资讯

esmc