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服务号
享受更多官方福利

推荐阅读

林荣坚:新思科技植根中国,视中国为创新来源

日前,在中国集成电路设计业2018年会上,新思科技全球高级副总裁暨亚太总裁林荣坚接受了媒体采访。 林荣坚强调,新思科技23年前落户中国,可以说自第一天起就跟中国半导体在一起,面对如今的挑战,新思科技已经不止把中国看成单纯的市场,而是将中国视为技术创新的来源,以及生态系统合作重点。 新思科技全球高级副总裁暨亚太总裁林荣坚 对中国芯片发展的建议林荣坚在接受采访时表示,半导体行业是解决世界上最困难问题的行业,他有四点感悟:“第一,是要在产品市场定位上定位更为清楚,很多公司都要重新思考,找到市场定位和公司的长远发展目标。” 对于第二点建议,林荣坚说道,任何产业的资源都是有限的,所以当选定一个清楚的市场方向时
发表于 2018-12-06
林荣坚:新思科技植根中国,视中国为创新来源

新思科技的智能模糊测试工具Defensics

新思科技在早前发现D-Link DIR-850存在漏洞。此漏洞允许未经过身份验证的用户加入路由器提供的无线网络。一旦加入该网络,用户就可以访问该网络上任何其他用户可用的所有服务、计算机和设备。未经授权访问网络通常是更广泛攻击的第一步。 作为Defensics SafeGuard开发的一部分,我们发现了D-Link DIR-850L无线AC路由器(硬件修订版本A)中的漏洞。该漏洞使攻击者无需提供凭据即可完全访问无线网络。我们的方法在接入点连接期间跳过关键步骤,完全绕过加密。 在确定此漏洞后,新思科技继续与芬兰国家网络安全中心(NCSC-FI)协调披露事宜,编号为CVE-2018-18907。我们与D-Link合作
发表于 2018-12-03
新思科技的智能模糊测试工具Defensics

新思科技谈未来产业的发展和创新

集微网珠海站消息,中国集成电路设计业 2018 年会暨珠海集成电路产业创新发展高峰论坛今日在珠海举行。新思科技中国区副总经理王礼宾发表主题为“从芯片到软件推动产业链融合与创新”演讲。他表示从通用处理器到AI/ML专用处理器的计算架构演进,强大的性能需求已与摩尔定律的演进放缓形成巨大反差。近期,图灵奖得主David Patterson说,如果等着芯片更快,需要很长的时间。需要做的是探索新的架构,实现新的性能提升。目前,半导体科技浪潮层层叠起,以万物智能为首的半导体应用包括目前热门的人工智能,自动驾驶,AIoT将为半导体行业带来新的生机。在汽车电子方面,王礼宾表示汽车是终极移动设备。他指出到2020年,超过9成的汽车每天将会传输4TB
发表于 2018-11-29
新思科技谈未来产业的发展和创新

新思科技推出下一代Design Compiler

Design Compiler NXT采用创新、高效的优化引擎,可将运行速度提升2倍,并提供基于云计算的分布式综合(synthesis)技术,从而进一步加快运行速度。 支持先进工艺节点,通过平台化的通用库以及与IC Compiler II校准的RC寄生参数提取,实现在5nm以及更先进工艺节点下极为紧密的相关一致性。 全新的时序和功耗优化扩展了Design Compiler的QoR优势,这对于高性能和低功耗设计至关重要。 Design Compiler NXT能够即插即用,与Design Compiler Graphical具有用户界面和脚本的兼容性。 新思科技(Synopsys, Inc.
发表于 2018-11-13

新思科技推出创新性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)的系统挑战。此解决方案支持神经网络芯片根据数据中心或嵌入式设备可用功耗和性能预算,平衡所需卷积神经网络(CNN)的吞吐量。Platform
发表于 2018-11-01

小广播

电子工程世界版权所有 京ICP证060456号 京ICP备10001474号 电信业务审批[2006]字第258号函 京公海网安备110108001534 Copyright © 2005-2018 EEWORLD.com.cn, Inc. All rights reserved
pt type="text/javascript" src="//v3.jiathis.com/code/jia.js?uid=2113614" charset="utf-8">