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

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

楷登电子(美国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推出针对最新移动和家庭娱乐应用的Tensilica HiFi 3z DSP架构

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

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

关键字:Cadence DSP

[趣科技] 点赞!1.2亿中国人用的支付宝刷脸 被评全球十大黑科技

点赞!1.2亿中国人用的支付宝刷脸 被评全球十大黑科技

美国权威科学杂志《麻省理工科技评论》(MIT Technology Review)发布2017年全球十大突破性技术榜单。榜单中,除了Google、微软、IBM等全球科技巨头,还有支付宝的黑科技“刷脸支付”。......

关键字:电子支付 支付宝 人脸识别

[新鲜事] 属于AI的:凛冬将至?

属于AI的:凛冬将至?

人工智能风靡全球,各种头条都围绕着AI行业展开,各家公司也在紧锣密鼓组建自己的AI团队。这股热潮能维持下去吗?......

关键字:人工智能 吴恩达 AI领域

[新鲜事] 业界良心:锤子手机重磅功能开源 随便用

业界良心:锤子手机重磅功能开源 随便用

在锤子Smartisan M1/M1L的发布会上,罗永浩承诺会对One Step功能开源,今天其兑现了诺言。......

关键字:锤子手机 开源

[新鲜事] 国产“笔尖钢”后继最强新品曝光:就是赞!

国产“笔尖钢”后继最强新品曝光:就是赞!

近段时间关于“圆珠笔尖终于国产”的消息在媒体上被热炒,而成功制造“笔尖钢”的太原钢铁集团也成为关注焦点,股票也是大涨。......

关键字:太原钢铁集团 笔尖钢 圆珠笔尖

[真心话] 人工智能今年什么风向?先来看看八个巨头的动作

人工智能今年什么风向?先来看看八个巨头的动作

人工智能(AI)已经能够帮助识别人脸,可基于你的心情选择音乐,甚至能够代替我们驾驶汽车,这项技术近年来已经取得长足进步。尽管智能机器的概念自古已有,甚至是希腊神话中的重要组成部分,但直到近几十年,科学界才在AI的实际应用方面取得重大突破。......

关键字:人工智能 Facebook 谷歌 苹果
条评论

我 要 评 论

网友评论

技术子站

更多

推荐博客