首页 > 新品 > 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),协助系统和半导体公司更高效地创建完整、差异化的终端产品。验证套件包括领先的核心引擎、验证架构技术和解决方案,提高设计质量,增加吞吐率,满足各类应用程序和垂直市场的验证需求。

换一批

延伸阅读

[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

[新鲜事] 为全力支持 VR 业务,HTC 卖了一座工厂

为全力支持 VR 业务,HTC 卖了一座工厂

为了将更多额资金投入到 VR 业务,HTC 决定出售其一处工厂设施。这间工厂位于上海,总占地面积约 11.4 万平方米,HTC 将把它出售给一家名为星宝的信息技术公司。交易中还包括一块土地。......

关键字:VR HTC

[新鲜事] 没存在感 英特尔Bay Trail芯片退役

没存在感 英特尔Bay Trail芯片退役

英特尔处理器虽然称霸PC和服务器领域,但在移动市场上始终未有大作为,其面向移动市场推出的Atom处于一个十分悲催的地位,由于架构的问题,运行效率并不十分理想,一直未能大红大紫。日前英特尔公布了Haswell-E架构EOL(End of Li......

关键字:英特尔 Bay Trail芯片

[新鲜事] 谷歌手机年销仅50万部 市占率几乎为零

谷歌手机年销仅50万部 市占率几乎为零

在转让了摩托罗拉移动公司之后,谷歌对于手机依然兴趣不减,通过和外部手机厂商合作的方式推出自有品牌手机,去年谷歌推出了采用新品牌的Pixel手机。不过据外媒报道,由于销售渠道等明显的失误,谷歌手机销量十分可怜,市场影响力微弱。......

关键字:谷歌手机 市占率

[新鲜事] 劳动最伟大!龙卷风将至,男子淡定除草

劳动最伟大!龙卷风将至,男子淡定除草

遇到龙卷风你会怎么做?想必很多人的第一反应都是避难或者逃生。但加拿大男子Theunis Wessels却表现出了出人意料的淡定,并在社交媒体掀起了一场热议。......

关键字:劳动 龙卷风 除草

[新鲜事] 全面屏的LG G6首日卖出2万台,比前任G5成功多了

全面屏的LG G6首日卖出2万台,比前任G5成功多了

上周五韩国市场上率先开卖G6手机,官方数据称G6首日销量达到2万部,预售11天总量达到8.2万部,分析师称这比G5手机成功多了。......

关键字:全面屏 LG G6
条评论

我 要 评 论

网友评论

技术子站

更多

项目外包

更多

推荐博客