首页 > 新品 > EDA
[导读]JasperGold形式验证平台新应用Superlint和Clock Domain Crossing助逻辑设计人员将IP开发时间缩短四周楷登电子(美国Cadence公司)今日正式发布JasperGold® 形式验证平台扩展版,引入高级形式化验证技术的JasperGol

JasperGold形式验证平台新应用Superlint和Clock Domain Crossing助逻辑设计人员将IP开发时间缩短四周

本文引用地址: http://www.21ic.com/np/eda/201706/722934.htm

楷登电子(美国Cadence公司)今日正式发布JasperGold® 形式验证平台扩展版,引入高级形式化验证技术的JasperGold Superlint和Clock Domain Crossing (CDC)应用,以满足JasperGold形式验证技术在RTL设计领域的签核要求。较现有验证解决方案,Superlint和CDC应用提高了IP设计质量,后期RTL变更最高减少80%, IP开发时间缩短4周。如需了解更多关于JasperGold技术用于RTL签核的详细内容,请参访www.cadence.com/go/rtlsignoff。

当今设计变得更为庞大复杂,开发在多个系统级芯片(SoC)中重复使用的强健IP,来提高设计人员生产力的需求日益突出。之前在网表实现阶段的签核检查现在需要在RTL设计阶段完成,但传统的静态lint和CDC工具无法有效保证高质量的RTL代码。

采用全新JasperGold形式化RTL 签核技术,设计人员可以利用更加丰富的功能检查和形式化智能调试来减少违例噪音,这正是目前最为紧迫的RTL签核挑战之一。通过与强大的JasperGold Visualize ™ 调试环境充分集成,JasperGold Superlint和CDC应用利用成熟的形式化智能技术来提高RTL设计的调试效率。此外,两个应用都整合了Cadence已有的形式化能力来增强各种过滤机制。现在,设计人员可以在验证和实现阶段使用稳健、可复用、无CDC问题的RTL代码来实现签核,不仅缩短了整体上市时间,还显著提高了设计质量。

“日益紧张的项目进度和IP质量压力让高效RTL 签核成为开发的重要组成部分,”Cadence数字和签核事业部及系统和验证事业部高级副总裁兼总经理Anirudh Devgan博士说道。“基于公认的JasperGold平台,Cadence将其业界领先的形式验证技术引入RTL签核,帮助逻辑设计人员在更短的时间内开发出更加稳健和可复用的IP代码。”

Cadence全新的Superlint应用集成了传统RTL linting和形式验证功能,通过RTL自动生成最完整的功能检查集。同样,在Cadence® JasperGold形式模拟器或Xcelium™ 并行模拟器环境下,CDC应用为严格的CDC验证提供亚稳态插入流程,实现更完整的签核。

客户认可

“ARM一年前就已经采纳了JasperGold Superlint应用,成功改进RTL 签核,缩短产品上市时间。通过在设计期间提前数周发现错误,后期RTL变更大幅减少,并在功能验证阶段节省更多时间。”

——ARM技术服务事业部副总裁兼总经理霍布森·布尔曼(Hobson Bullman)

“JasperGold CDC应用帮助我们在RTL签核早期即可发现CDC的功能性及结构性问题并完成纠错,提高了设计质量,每个IP的设计和验证可以节省2-4周。”

——STMicroelectronics设计经理大卫·维森佐尼(David Vincenzoni)

针对RTL签核, 全新JasperGold Superlint和CDC应用创新地扩展了Cadence验证套件。新应用支持Cadence系统设计实现战略(SDE),协助系统和半导体公司更高效地创建完整、差异化的终端产品。验证套件包括领先的核心引擎、验证架构技术和解决方案,提高设计质量,增加吞吐率,满足各类应用程序和垂直市场的验证需求。

换一批

延伸阅读

[消费类电子新闻] Cadence DDR5内存来了:7nm工艺、4400MHz频率!

Cadence DDR5内存来了:7nm工艺、4400MHz频率!

目前,JEDEC标准组织正在研究下一代DDR5内存规范,已经有了初步版本,Cadence此番拿出的就是面向新规范的第一个DDR5 IP物理层接口芯片。......

关键字:Cadence DDR5内存 美光

[EDA] 艾睿电子和Cadence在arrow.com推出OrCAD Entrepreneur,加速印刷电路板设计流程

艾睿电子和Cadence在arrow.com推出OrCAD Entrepreneur,加速印刷电路板设计流程

艾睿电子和Cadence Design Systems公司扩大了其正在进行的合作,在Arrow.com设计中心推出针对OrCAD Capture Cloud的Cadence® OrCAD® Entrepreneur包。相......

关键字:艾睿电子 Cadence 软件工具套件

[半导体] Cadence推出针对最新移动和家庭娱乐应用的Tensilica HiFi 3z DSP架构

Cadence推出针对最新移动和家庭娱乐应用的Tensilica HiFi 3z DSP架构

楷登电子近日宣布推出针对最新移动和家庭娱乐应用中系统级芯片(SoC)设计的Cadence® Tensilica® HiFi 3z DSP IP内核 。其应用包括智能手机、增强现实(AR)/ 3D眼镜、数字电视和机顶盒(......

关键字:Cadence DSP

[破谣言] 地球的寿命有多长呢?

地球的寿命有多长呢?

其实这个问题,可以直接转化为太阳的寿命有多长。我个人认为,如果没有外界因素的干扰,地球能永远的转下去。但问题就是外界的因素。......

关键字:地球 寿命

[趣科技] 美军憋大招:SpaceX要连发5颗GPS秘密卫星

美军憋大招:SpaceX要连发5颗GPS秘密卫星

为了继续保证在太空探索上的领先,美国也是找来了SpaceX合作。......

关键字:美军 SpaceX GPS秘密卫星

[新鲜事] 郑州84岁老人编写“地铁问路”软件 仅用3天

郑州84岁老人编写“地铁问路”软件 仅用3天

郑州84岁老人冯云怀,是原河南省测绘局总工程师,退休后,便买来书籍自学了一些编程软件以及办公软件。他还曾设计出公交线路查询系统,利用卫星截图拼成绿博园活地图,合作开发出郑州城区路名查询系统。......

关键字:软件编程 84岁老人 地铁问路
条评论

我 要 评 论

网友评论

技术子站

更多

项目外包

更多

推荐博客