首页 > 新品 > 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

[新鲜事] 详细剖析:高通新一代旗舰移动处理器S835最大卖点

详细剖析:高通新一代旗舰移动处理器S835最大卖点

高通(Qualcomm)在2017年美国消费性电子展(CES)展上公布最新旗舰行动处理器Snapdragon 835的更多细节。这款芯片采用三星电子(Samsung Electronics)10纳米FinFET制程,内含逾30亿个晶体管,体......

关键字:高通 S835处理器

[新鲜事] 往年的手机都主打“更轻、超薄”,今年咋不继续了?

往年的手机都主打“更轻、超薄”,今年咋不继续了?

回顾整个2016年,智能手机行业的发展虽然大不如前,特别是旗舰级的原始性能并没有十分巨大的提升,但是很多预想中的趋势仍在持续发展。即便是常规升级改进,我们还是看到了更快的处理器、更多的运行内存和更大的显示屏幕。......

关键字:智能手机 外观设计

[新鲜事] 受昆虫复眼启发:研究人员制造了一款仅2毫米厚的超薄摄像头

受昆虫复眼启发:研究人员制造了一款仅2毫米厚的超薄摄像头

尽管智能手机变得越来越轻薄,但是后置摄像头那块还是难免会突出一丢丢。受当前技术的限制,制造商很难作出薄于 5 毫米的设备,毕竟镜头部分很难被精简掉。好消息是,德国弗劳恩霍夫“应用光学与精密工程”研究所的科学家们,已经开发出了一种仅 2 毫米......

关键字:2毫米 摄像头 超薄 facetVISION

[新鲜事] 人类重返月球?特朗普或重启“星座计划”

人类重返月球?特朗普或重启“星座计划”

据报道,最近外界纷纷猜测:美国是否会重启“星座计划”? ......

关键字:月球 特朗普 星座计划

[新鲜事] Android应用为啥启动比IOS慢?手机的锅还是应用?

Android应用为啥启动比IOS慢?手机的锅还是应用?

关于安卓系统体验差、不流畅的言论一直存在,尤其是应用启动速度相比iOS有着不小的差距。对此,前锤子科技CTO钱晨@工头Jeff今天在微博上发问,启动app动作迟缓(卡顿)的本因是什么?这一问题引发了业内不少人士的讨论,......

关键字:手机 系统 应用

[真心话] 三星电池坑了自家手机,Note 7转投中国电池厂商

三星电池坑了自家手机,Note 7转投中国电池厂商

SDI的电池害三星栽了大跟头北京时间9月6日消息,据外媒报道,作为召回计划中的一环,三星准备替换召回Note 7中的所有三星SDI电池,以保证用户使用安全。此外,未来新批次的Note 7还会彻底抛弃SDI的电池,转投中国厂......

关键字:三星 电池
条评论

我 要 评 论

网友评论

技术子站

更多

推荐博客