新思科技为人工智能、图形和处理器设计提供快 100 倍的形式化验证收敛工具
时间:2019-06-25 13:19来源:21Dianyuan
摘要:VCFormal数据通路验证应用支持HECTOR技术广泛的市场采用
· VC Formal数据通路验证应用基于形式化方法学,在C/C++算法和RTL设计实现之间的一致性检查方面比传统技术提高了100多倍。
· 采用芯片业界公认的的HECTOR先进技术,并且集成了以Verdi界面为基础的VC Formal的多样化调试功能
新思科技(Synopsys, Inc.,纳斯达克股票代码:SNPS)近日推出了数据通路验证(DPV)应用,这是其VC Formal®解决方案的一部分。数据通路验证应用采用芯片业界公认的HECTOR™先进技术,在设计和验证周期内为广大的数据通路密集型设计用户提供完备的形式化验证收敛。该应用基于形式化方法学,其在C/C++算法和RTL设计实现之间的一致性检查上比传统的复杂芯片系统(SoC)设计技术快100多倍,并且支持遍历式验证确保设计的正确性,以前的仿真方案是无法做到的。
三星奥斯汀研发中心(SARC)和高级计算实验室GPU/CPU团队验证负责人Xiushan Feng表示:“我们的使命是为移动SoC应用开发高质量的CPU、GPU和系统IP,这就要求在非常紧的时间内实现具有高度竞争力的功能、卓越的整体性能和极低的功耗。C/C++算法与具体RTL设计实现的一致性形式化方法学为我们以数据通路为主的设计提供完备的验证,以便在几分钟内有效地发现很多极端应用场景下触发的设计错误,而使用其他传统仿真技术是不可能做到的。VC Formal的HECTOR技术提供同类最佳的表现和结果质量,能够成功减少传统仿真工作量,并帮助在设计中捕获30多个RTL错误。”
人工智能(AI)、图形和处理器设计涉及复杂的算法功能模块,其数据通路量很大,需要用C/C++等高级语言对它们的行为进行建模。这些设计所实现的RTL因此需要与其对应的C/C++模型进行功能等价性验证。VC Formal与Verdi®自动调试系统的内在集成使设计和验证团队能够轻松地使用形式化验证技术和自动对形式化结果根源分析功能。此外,VCS在VC Formal中的内在集成便于将形式化分析融入到现有的验证环境中。
数据通路验证应用加入了不断增长的VC Formal应用组合中,其还包括属性验证(FPV)、时序电路等价验证(SEQ)、寄存器验证(FRV)、形式化覆盖分析器(FCA)、连接性检查(CC)、X-Propogation检查(FXP)、形式化Testbench分析器(FTA)、属性自动提取(AEP)和回归模式加速器(RMA)。
新思科技芯片验证事业部高级副总裁Ajay Singh表示:“越来越多的数据通路密集型设计需要专门的数据通路验证技术来实现更快的验证收敛。我们长期以来一直与业界领头羊合作,为先进的SoC提供全面的验证解决方案。我们在数据通路验证技术上的投资能够更快地帮助用户完成算法验证,并加快其芯片产品上市时间。”
新思科技简介
新思科技(Synopsys, Inc. , 纳斯达克股票代码:SNPS)是众多创新型公司的 Silicon to Software™(“芯片到软件”)合作伙伴,这些公司致力于开发我们日常所依赖的电子产品和软件应用。作为全球第 15 大软件公司,新思科技长期以来一直是电子设计自动化(EDA)和半导体IP领域的全球领导者,并且在软件安全和质量解决方案方面也发挥着越来越大的领导作用。无论您是创建高级半导体的片上系统(SoC)设计人员,还是编写需要最高安全性和质量的应用程序的软件开发人员,新思科技都能够提供您所需要的解决方案,帮助您推出创新性的、高质量的、安全的产品。有关更多信息,请访问 www.synopsys.com。
· 采用芯片业界公认的的HECTOR先进技术,并且集成了以Verdi界面为基础的VC Formal的多样化调试功能
新思科技(Synopsys, Inc.,纳斯达克股票代码:SNPS)近日推出了数据通路验证(DPV)应用,这是其VC Formal®解决方案的一部分。数据通路验证应用采用芯片业界公认的HECTOR™先进技术,在设计和验证周期内为广大的数据通路密集型设计用户提供完备的形式化验证收敛。该应用基于形式化方法学,其在C/C++算法和RTL设计实现之间的一致性检查上比传统的复杂芯片系统(SoC)设计技术快100多倍,并且支持遍历式验证确保设计的正确性,以前的仿真方案是无法做到的。
三星奥斯汀研发中心(SARC)和高级计算实验室GPU/CPU团队验证负责人Xiushan Feng表示:“我们的使命是为移动SoC应用开发高质量的CPU、GPU和系统IP,这就要求在非常紧的时间内实现具有高度竞争力的功能、卓越的整体性能和极低的功耗。C/C++算法与具体RTL设计实现的一致性形式化方法学为我们以数据通路为主的设计提供完备的验证,以便在几分钟内有效地发现很多极端应用场景下触发的设计错误,而使用其他传统仿真技术是不可能做到的。VC Formal的HECTOR技术提供同类最佳的表现和结果质量,能够成功减少传统仿真工作量,并帮助在设计中捕获30多个RTL错误。”
人工智能(AI)、图形和处理器设计涉及复杂的算法功能模块,其数据通路量很大,需要用C/C++等高级语言对它们的行为进行建模。这些设计所实现的RTL因此需要与其对应的C/C++模型进行功能等价性验证。VC Formal与Verdi®自动调试系统的内在集成使设计和验证团队能够轻松地使用形式化验证技术和自动对形式化结果根源分析功能。此外,VCS在VC Formal中的内在集成便于将形式化分析融入到现有的验证环境中。
数据通路验证应用加入了不断增长的VC Formal应用组合中,其还包括属性验证(FPV)、时序电路等价验证(SEQ)、寄存器验证(FRV)、形式化覆盖分析器(FCA)、连接性检查(CC)、X-Propogation检查(FXP)、形式化Testbench分析器(FTA)、属性自动提取(AEP)和回归模式加速器(RMA)。
新思科技芯片验证事业部高级副总裁Ajay Singh表示:“越来越多的数据通路密集型设计需要专门的数据通路验证技术来实现更快的验证收敛。我们长期以来一直与业界领头羊合作,为先进的SoC提供全面的验证解决方案。我们在数据通路验证技术上的投资能够更快地帮助用户完成算法验证,并加快其芯片产品上市时间。”
新思科技简介
新思科技(Synopsys, Inc. , 纳斯达克股票代码:SNPS)是众多创新型公司的 Silicon to Software™(“芯片到软件”)合作伙伴,这些公司致力于开发我们日常所依赖的电子产品和软件应用。作为全球第 15 大软件公司,新思科技长期以来一直是电子设计自动化(EDA)和半导体IP领域的全球领导者,并且在软件安全和质量解决方案方面也发挥着越来越大的领导作用。无论您是创建高级半导体的片上系统(SoC)设计人员,还是编写需要最高安全性和质量的应用程序的软件开发人员,新思科技都能够提供您所需要的解决方案,帮助您推出创新性的、高质量的、安全的产品。有关更多信息,请访问 www.synopsys.com。
免责声明:本文若是转载新闻稿,转载此文目的是在于传递更多的信息,版权归原作者所有。文章所用文字、图片、视频等素材如涉及作品版权问题,请联系本网编辑予以删除。
我要投稿
近期活动
- 安森美汽车&能源基础设施白皮书下载活动时间:2024年04月01日 - 2024年10月31日[立即参与]
- 2023年安森美(onsemi)在线答题活动时间:2023年09月01日 - 2023年09月30日[查看回顾]
- 2023年安森美(onsemi)在线答题活动时间:2023年08月01日 - 2023年08月31日[查看回顾]
- 【在线答题活动】PI 智能家居热门产品,带您领略科技智慧家庭时间:2023年06月15日 - 2023年07月15日[查看回顾]
- 2023年安森美(onsemi)在线答题活动时间:2023年06月01日 - 2023年06月30日[查看回顾]
分类排行榜
- 汽车电子电源行业可靠性要求,你了解多少?
- 内置可编程模拟功能的新型 Renesas Synergy™ 低功耗 S1JA 微控制器
- Vishay 推出高集成度且符合 IrDA® 标准的红外收发器模块
- ROHM 发布全新车载升降压电源芯片组
- 艾迈斯半导体推出行业超薄的接近/颜色传感器模块,助力实现无边框智能手机设计
- 艾迈斯半导体与 Qualcomm Technologies 集中工程优势开发适用于手机 3D 应用的主动式立体视觉解决方案
- 维谛技术(Vertiv)同时亮相南北两大高端峰会,精彩亮点不容错过
- 缤特力推出全新商务系列耳机 助力解决开放式办公的噪音难题
- CISSOID 和泰科天润(GPT)达成战略合作协议,携手推动碳化硅功率器件的广泛应用
- 瑞萨电子推出 R-Car E3 SoC,为汽车大显示屏仪表盘带来高端3D 图形处理性能
编辑推荐
小型化和稳定性如何兼得?ROHM 推出超小型高输出线性 LED 驱动器 IC,为插座型 LED 驱动 IC 装上一颗强有力的 “心脏”
众所周知,LED的驱动IC担负着在输入电压不稳定的情况下,为LED提供恒定的电流,并控制恒定(可调)亮度的作用。无论是室内照明,还是车载应用,都肩负着极为重要的使命。
- 关于反激电源效率的一个疑问
时间:2022-07-12 浏览量:10176
- 面对热拔插阐述的瞬间大电流怎么解决
时间:2022-07-11 浏览量:8935
- PFC电路对N线进行电压采样的目的是什么
时间:2022-07-08 浏览量:9580
- RCD中的C对反激稳定性有何影响
时间:2022-07-07 浏览量:7193
- 36W单反激 传导7~10M 热机5分钟后超标 不知道哪里出了问题
时间:2022-07-07 浏览量:5968
- PFC电感计算
时间:2022-07-06 浏览量:4178
- 多相同步BUCK
时间:2010-10-03 浏览量:37866
- 大家来讨论 系列之二:开机浪涌电流究竟多大?
时间:2016-01-12 浏览量:43161
- 目前世界超NB的65W适配器
时间:2016-09-28 浏览量:60024
- 精讲双管正激电源
时间:2016-11-25 浏览量:128109
- 利用ANSYS Maxwell深入探究软磁体之----电感变压器
时间:2016-09-20 浏览量:107556
- 【文原创】认真的写了一篇基于SG3525的推挽,附有详细..
时间:2015-08-27 浏览量:100294