EDN China > 产品新闻 > EDA工具与服务 > IC设计与设计服务 > 正文
? 2016博客大赛-不限主题,寻找电子导师,大奖升级??

CADENCE通过改进的验证型设计流程提高逻辑设计师效率

EDN China?? 2007年06月13日 ?? 收藏0

  Cadence今天宣布其Cadence? Logic Design Team Solution的“验证型设计”组件已经过改良,为逻辑设计师大幅提高了工作效率。这些新功能能够明显克服主要的验证瓶颈,这些瓶颈已经对开发过程初期对基于断言的验证方法的有效应用造成了阻碍。

  致力于基于断言的验证方法的逻辑设计师如今可以在基于SystemVerilog Assertion 和Property Specification Language 的形式分析中实现高达50倍的速度及容量提升。通过Cadence Incisive模拟器和Xtreme系列系统的单一环境,他们可以在模拟中让性能提高10万倍。这种环境因为创造性的“热交换”能力而成为可能,它可以让设计师在几秒钟内轻松切换于领先的商用模拟工具和Incisive Xtreme III加速器/模拟器之间。通过一系列全新的基于断言的验证方法的IP产品,环境创建和设置可以在十分之一的时间内完成。

 

  综合的基于断言的验证方法流程是“验证型设计”组件的核心,应用了通用的System Verilog语言前端、通用指令和统一的调试环境,使得逻辑设计师易于采用和开展该方法学和解决方案。在此流程中,一旦逻辑设计师使用Incisive形式检验器对断言进行检查,Incisive Design Team 模拟器和Xtreme加速器/模拟器可以被用来动态检验所有断言。模拟可以通过直接测试进行,也可以通过自动化System Verilog测试平台,利用专门面向逻辑设计团队的Cadence Incisive Plan-to-Closure 方法学执行而实现。

  “逻辑设计团队需要设计更为精密的产品,不仅工艺尺寸不断缩小,还要满足越来越多的设计目标,例如正确的可重用性和充分的可测性。”Cadence设计系统公司产品营销总监Michal Siwinski说,“这种基于验证的新组件能够让逻辑设计师将手写测试的简单模拟进化到更有效率的断言、加速、形式分析和复杂的测试平台,满足设计团队的需要。


上一页12下一页
?? ?? ??


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

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

IC设计? 设计流程? 逻辑?

相关文章

我来评论
美国的游客
美国的游客 ??? (您将以游客身份发表,请登录 | 注册)
?
有问题请反馈