datasheet

新思科技推出回归模式加速器

2018-09-06来源: EEWORLD 关键字:新思科技  回归模式加速器

新思科技(Synopsys, Inc.,纳斯达克股票市场代码: SNPS)宣布,推出一种基于人工智能(AI)的最新形式验证应用,即回归模式加速器。作为新思科技VC Formal®解决方案的组成部分,VC Formal采用最先进的机器学习算法,将设计和验证周期中的性能验证速度提高10倍。除了显著的性能提升,使用此应用还可加速形式属性验证,以便后续运行实现更好的形式收敛。回归模式加速器应用还能够在每日回归测试时显著节省计算资源,以验证复杂的芯片系统(SoC)设计,从而在过去无法实现的情况下运行形式验证。

 

意法半导体研发设计经理David Vincenzoni表示,“作为领先的集成设备制造商,意法半导体致力于提供创新的解决方案,推动智能驾驶和物联网(包括智能工业)的最新技术发展,因此,设计人员需要能够提供最佳性能、易用性和高质量结果的形式验证解决方案。新思科技新推出的VC Formal回归模式加速器应用能够稳定地提供数量级的性能优化,同时改进了我们设计模块上最复杂的System Verilog Assertions其他不确定属性的收敛。”

 

日益复杂的SoC系统以及日益增加的上市时间压力对形式属性验证性能和吞吐量的持续创新提出了新的需求。新思科技VC Formal包含全面的正式应用程序,包括属性验证(FPV)、时序等效性检查(SEQ)、寄存器验证(FRV)、形式覆盖率分析器(FCA)、连通性检查(CC)和属性自动提取(AEP),这些为意法半导体的多种不同应用提供了更快的属性收敛。结合新思科技VCS®功能验证解决方案的VC Formal和Verdi®自动调试系统的原生集成使设计和验证团队能够轻松利用形式技术,并自动对形式结果进行根本原因分析。此外,VCS强大的覆盖引擎在VC Formal中的原生集成有助于将形式分析轻松插入到现有的验证环境中。

 

新思科技验证部门Manish Pandey表示,“机器学习已经成为解决高度复杂和前沿设计验证的强大技术。我们与意法半导体等行业领导者长期合作,为先进的SoC提供全面的验证解决方案。通过这些合作,我们正在将AI技术的研发扩展到验证流程和方法中,从而加快产品上市速度。”


关键字:新思科技  回归模式加速器

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

上一篇:英特尔携手百度云,推动人工智能应用
下一篇:安森美半导体推出变革性物联网开发套件

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

推荐阅读

新思科技推出创新性RTL-to-GDSII产品Fusion Compiler™

Fusion Compiler是业界唯一的RTL-to-GDSII产品,采用统一、可扩展的数据模型,搭载同类最佳优化引擎,以及基于业界golden signoff工具的分析能力。 Fusion Compiler是唯一基于RTL-to-GDSII的单座舱(single-cockpit)解决方案,能够为设计工程师提供最高的效率和灵活性。 Fusion Compiler独特的架构能够在逻辑综合和布局布线过程中共享技术,从而实现前所未有的设计融合。 众多领先的半导体公司已经部署了这款产品,并在传统及先进工艺节点下成功流片。 新思科技(Synopsys, Inc.,纳斯达克股票市场代码: SNPS
发表于 2018-11-12

支持最新AI 芯片架构,新思科技推出Platform Architect Ultra

重点:   智能映射与优化AI芯片架构的CNN,从而满足高性能和低功耗的平衡。  Platform Architect Ultra独特的技术、功能和AI参考系统支持整合、分析和优化AI架构CNN工作负载模型。  AI 芯片团队可利用Platform Architect Ultra进行正确有效的架构权衡决策,以消除芯片设计的后期更改。 新思科技宣布,推出适用于下一代架构探索、分析和设计的解决方案Platform Architect™Ultra,以应对人工智能(AI)系统级芯片(SoC)的系统挑战。此解决方案支持神经网络芯片根据数据中心或嵌入式设备可用功耗和性能预算,平衡所需卷积
发表于 2018-11-01

新思科技BSIMM9发布,带你了解一下BSIMM

不久前,新思科技全球总裁兼联席CEO陈志宽在出席新思科技武汉研发中心封顶仪式上特别强调,新思科技一直布局在芯片自动化设计解决方案(EDA工具)、芯片IP和信息安全和软件质量三部分。2017年新思科技年收入为27亿美元,这其中有4亿多美元的收入来自系统软件,安全软件以成为新思科技不可或缺的一部分。在年初发布的《Gartner魔力象限应用安全测试》报告中,新思已经连续两年被评为 (AST Application Security Testing应用安全测试)领域的“领导者”。2015年新思科技收购Codenomicon,标志着公司开始真正进入软件质量领域。应该是这家公司真正注重 Software Integrity 平台的开端
发表于 2018-10-29
新思科技BSIMM9发布,带你了解一下BSIMM

TSMC与新思科技合作为TSMC WoW和CoWoS封装技术提供设计流程

重点:新思科技Design Platform支持TSMC WoW直接堆叠和CoWoS技术。解决方案包括多裸晶芯片和中介层(Interposer)的版图实现、寄生参数提取和时序分析以及物理验证。参考流程使早期客户能够充分发挥3D-IC的潜力,实现高性能、低功耗应用。 新思科技(Synopsys, Inc.,纳斯达克股票市场代码: SNPS)宣布,新思科技Design Platform全面支持TSMC WoW直接堆叠和 CoWoS®先进封装技术。Design Platform支持与3D IC参考流程相结合,帮助用户在移动计算、网络通信、消费和汽车电子等应用中部署高性能、高连接性的多裸晶芯片技术。新思科技Design
发表于 2018-10-26

论云转型的影响和软件安全社区的发展的重要性—新思科技

新思科技发布最新版的软件安全构建成熟度模型BSIMM9 报告剖析了120家企业在过去10年的软件安全计划突出了云转型的影响和软件安全社区的发展 新思科技公司发布其最新版本的软件安全构建成熟度模型——BSIMM9。该模型旨在帮助企业规划、执行并评估其软件安全计划(SSIs)。BSIMM9是软件安全构建成熟度模型(BSIMM)的第九个版本,收集了120家企业过去10年的真实数据。BSIMM9强调了云转型的影响和软件安全社区的发展,并且在数据库中纳入了新的垂直行业 - 零售业。甲骨文公司旗下云ERP系统NetSuite基础设施和安全高级副总裁Brian Chess博士表示:开发、安全和运营团队需要步调一致
发表于 2018-10-26

新思科技数字与定制设计平台通过TSMC 5nm EUV工艺技术认证

;     具有先进仿真解决方案的新思科技定制设计平台支持最新5nm设计规则和FinFET器件模型。 新思科技(Synopsys, Inc.,纳斯达克股票市场代码: SNPS)宣布,新思科技数字和定制设计平台通过了TSMC最先进的5nm EUV工艺技术认证。该认证是多年广泛合作的结果,旨在提供更优化的设计解决方案,加快下一代设计的发展进程。 Design Compiler® Graphical综合工具经过了严格的5nm启用验证,并证明了与IC Compiler™ II布局布线工具在时序、面积、功耗和布线拥塞方面的相关一致性。Design Compiler Graphical
发表于 2018-10-24

小广播

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