datasheet

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

2007-06-11来源: 电子工程世界关键字:速度  容量  加速  模拟

Cadence Logic Design Team 解决方案尽最大可能降低了验证瓶颈,缩短了验证时间,提高了一次性芯片成功的几率

加州圣荷塞,2007年6月11日-- 全球电子设计创新领先企业Cadence设计系统公司(NASDAQ: CDNS),今天宣布其Cadence Logic Design Team Solution的“验证型设计”组件已经过改良,为逻辑设计师大幅提高了工作效率。这些新功能能够明显克服主要的验证瓶颈,这些瓶颈已经对开发过程初期对基于断言的验证方法的有效应用造成了阻碍。

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

“我在15分钟内就调出了验证环境,”Newport Media公司VLSI技术部经理Sang Tran说,“我可以很肯定地说,Cadence的AHB验证IP至少为我节省了几周的时间。”

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

“我们对于Incisive Formal Verifier最新版的性能改进非常满意,”QLogic公司高级工程师Craig Verba说,“我们对RTL进行了修改,并且在我们其中的一款设计品中再次运行Incisive Formal Verifier,现在我们只要用40分钟,而在过去要花3个小时,这大大提高了我们的生产力。”

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

Cadence逻辑设计团队解决方案

Cadence逻辑设计团队解决方案应用了来自Cadence Incisive功能验证和Encounter数字IC设计平台的技术。它是Cadence全面市场细分战略中的又一个可靠产品,为特定类型的工程师团队提供了贴身打造的解决方案。逻辑设计团队解决方案将会在加州圣地亚哥的设计自动化大会(DAC)中展出,该展会将于2007年6月4~8日期间召开。

关于Cadence

Cadence公司(Nasdaq股票代码:CDNS)成就全球电子设计技术创新,并在创建当今集成电路和电子产品中发挥核心作用。我们的客户采用Cadence的软件、硬件、设计方法和服务,来设计和验证用于消费电子产品、网络和通讯设备以及计算机系统中的尖端半导体器件、印刷电路板和电子系统。Cadence 2006年全球公司收入约15亿美元,现拥有员工约5200名,公司总部位于美国加州圣荷塞市,公司在世界各地均设有销售办事处、设计中心和研究设施,以服务于全球电子产业。

关于公司、产品及服务的更多信息,敬请浏览公司网站 www.cadence.com

关键字:速度  容量  加速  模拟

编辑: 引用地址:http://news.eeworld.com.cn/newproducts/eda/200706/14051.html
本网站转载的所有的文章、图片、音频视频文件等资料的版权归版权所有人所有,本站采用的非本站原创文章及图片等内容无法一一联系确认版权者。如果本网所选内容的文章作者及编辑认为其作品不宜公开自由传播,或不应无偿使用,请及时通过电子邮件或电话通知我们,以迅速采取适当措施,避免给双方造成不必要的经济损失。

上一篇:卓联半导体公司推出简化免提语音通信系统设计新工具
下一篇:安森美半导体推出HighQ硅-铜集成无源器件制造工艺和集成无源器件产品设计工具

关注eeworld公众号 快捷获取更多信息
关注eeworld公众号
快捷获取更多信息
关注eeworld服务号 享受更多官方福利
关注eeworld服务号
享受更多官方福利

推荐阅读

STM32开发笔记16: 使用静态库加快Keil编译速度

单片机型号:STM32L053R8T6    使用Stm32CubeMx生成的源文件数量比较多,编译的时候会占用很长的时间,我们仔细观察这些文件除了main.c外,其它的文件我们基本上是调用其中的函数,并不需要对其进行改动。所以,可以仿照Freescale MQX的设计方法,分层进行编译,下图是在进行项目设计时候的层次结构。    第0层用于存储Stm32CubeMx生成的工成文件,第2层处理除main.c以外的所有文件,第3层加入应用层的逻辑结构。    第0层的处理方法,大家参考Stm32CubeMx的使用方法,就可以了。     第1层的
发表于 2019-07-17
STM32开发笔记16: 使用静态库加快Keil编译速度

Intel 64芯片神经拟态系统问市,速度与效率飙升

英特尔宣布,代号为“Pohoiki Beach”的800万神经元神经拟态系统已经可以供广大研究人员使用,它包含64块Loihi研究芯片。通过Pohoiki Beach,研究人员可以利用英特尔的Loihi研究芯片开展实验,该芯片受到大脑启发,将生物大脑原理应用于计算机体系结构。在稀疏编码、图搜索和约束满足问题等专业应用领域,Loihi能让用户以千倍于CPU的速度和万倍于CPU的效率处理信息。 英特尔神经拟态研究芯片Loihi特写镜头。英特尔最新的神经拟态系统Pohoiki Beach由64块Loihi芯片组成。  “早些时候,我们对Loihi进行了扩展,以创建更强
发表于 2019-07-17
Intel 64芯片神经拟态系统问市,速度与效率飙升

外媒实测2019款MacBook Air硬盘读取速度比旧款要慢得多

新浪数码讯 7月16日上午消息,根据法国网站Consomac的测试,上周更新的2019年MacBook Air的固态硬盘读取速度比2018年的MacBook Air要慢一点。他们采用Blackmagic的硬盘速度测试工具,2019款MacBook Air 256GB的硬盘写入速度为1GB/s,读取速度为1.3GB/s。而同样软件测试2018款机型,其写入速度为920MB/s,读取速度为2GB/s。也就是说,新款写速度与旧机器对比略好一些,但读取速度下降了大约35%。Consomac还测试了其他配置的机型,2019款128GB MacBook Air的写入速度为500MB/s,读取速度为1.3GB/s,但成绩与2018款128GB
发表于 2019-07-16

Galaxy Note10具超快充电 速度可以超25W

Galaxy S10只有一款机型采用三星新推出的“超快充电”——Galaxy S10 5G支持25W快速充电。然而,有一款非旗舰产品具有超快充电功能,那就是Galaxy A70。即将发布的三星Galaxy Note10也将支持5G,著名科技爆料者Ice Universe预测,Galaxy Note10快速充电速度可能超过25W。虽然没有提供具体的数字,但他提到电池容量和充电速度不会成为该产品的弱点。“福布斯”的戈登·凯利(Gordon Kelly)从可靠的消息来源那里听到了类似的消息。他被告知,这个数字可能会更高,起码不会低于25W。OPPO SuperVOOC超级闪充OPPO SuperVOOC超级闪充有人
发表于 2019-07-15
Galaxy Note10具超快充电 速度可以超25W

支持高达 400Gbit/s 以太网络速度 Diodes 推出差动频率缓冲器

Diodes 公司 (Nasdaq:DIOD) 推出 PI6C59xxxxx 系列差动频率缓冲器。此系列支持高达 400Gbit/s 的以太网络速度,非常适合高效能应用,例如数据中心和 5G 基地台。 对于运作范围从 25Gbit/s 到高达 400Gbit/s (称为太比特以太网络或 TbE) 的网络速度,这样的需求不断增长,让切换器与路由器的设计人员面临压力,必须在更具挑战性的环境中,维持讯号的完整性。PI6C59xxxxx 系列差动频率缓冲器提供更理想的讯号裕度,同时可为高速通讯中使用的所有频率和数据讯号增强其驱动能力。此系列产品涵盖了众多的速度等级与技术,以及输入与输出组合。 PI6C59xxxxx
发表于 2019-07-11
支持高达 400Gbit/s 以太网络速度 Diodes 推出差动频率缓冲器

ST推出稳健耐用的低功耗汽车加速度计

ST意法半导体发布的AIS2DW12汽车加速度计可让汽车被动无钥匙进入(Passive Keyless Entry,简称PKE)系统密钥卡变得坚固结实,在钥匙生命周期内发生的不可避免的摔落和刮蹭事件后平安无事。加速度计还具有超低功耗特性,在携带便利性和出色的运动感知防盗功能的基础上,又为PKE钥匙卡增加一个实用性。 普通PKE密钥卡能连续监听车辆,等待在拉车门把手时发射的“开锁”请求,然后发送车辆开锁命令。盗贼可以使用中间发射器转发开锁请求,强制超出通信距离的密钥卡(放在车主家中的饭桌上)发送开锁命令,获得开门权限,盗窃车辆。 有了加速度计加持后,在没有运动且超出通信范围时,密钥卡可以关闭射频接收器,对恶意
发表于 2019-07-10
ST推出稳健耐用的低功耗汽车加速度计

小广播

About Us 关于我们 客户服务 联系方式 器件索引 网站地图 最新更新 手机版

站点相关:

北京市海淀区知春路23号集成电路设计园量子银座1305 电话:(010)82350740 邮编:100191

电子工程世界版权所有 京ICP证060456号 京ICP备10001474号 电信业务审批[2006]字第258号函 京公海网安备110108001534 Copyright © 2005-2019 EEWORLD.com.cn, Inc. All rights reserved