新思科技(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技术的研发扩展到验证流程和方法中,从而加快产品上市速度。”
关键字:新思科技 回归模式加速器
引用地址:
新思科技推出回归模式加速器
推荐阅读最新更新时间:2024-03-30 23:55
Synopsys将HAPS纠错可见度提升100倍
亮点 - 新的Synopsys HAPS硬件与Identify软件相结合,确保了基于FPGA的原型中更大的内部信号可见度,以加速SoC设计纠错 - 新版本为信号追踪提供了多出近100倍的存储容量,同时采样速率高达60MHz - 对FPGA存储器资源的使用被大幅度降低,以更好地适用于复杂SoC原型验证项目 加利福尼亚州山景城,2012年5月2日—全球领先的电子器件和系统设计、验证和制造软件及知识产权(IP)供应商新思科技公司(Synopsys, Inc., 纳斯达克股票市场代码:SNPS)日前宣布:为其HAPS®基于FPGA原型系统的用户推出新版的Deep Trace Debug深度追踪纠错软件。借助HAPS Deep Trace
[嵌入式]
汽车SoC将被重塑,IP迎来新变局!
随着新能源汽车和自动驾驶汽车时代的来临,诞生了ADAS/AD、汽车互联以及V2X等新应用,这些给汽车架构带来了新的应用方向,随着架构的演变,也对汽车SoC提出了新的需求,现在业界认为,一种新的架构将重塑汽车SoC的布局。在这样的大变局下,汽车级IP又将起到怎样的作用呢? 汽车Zonal架构出现,汽车IP或将提供助力 现在汽车所需要的传感器数量和类型越来越多,包括成像、激光雷达和红外等各种传感器,去年谷歌的Waymo就使用了29个摄像头;此外这些新应用对SoC级别的功能安全要求也大幅提高;再者越来越多的人工智能开始应用于车载领域,譬如带有人工智能的BEV/HEV动力系统SoC,而新的智能传感器也增加了传感器SoC设计的难度和
[汽车电子]
Synopsys推出全新IP子系统以加速物联网设备中的数据融合处理
亮点: 集成化的、预先验证过的IP子系统包括可支持高效DSP性能的最新低功耗DesignWare ARC EM9D和EM11D处理器 通过在处理器处于休眠模式时实现数据传输,内置的微型DMA控制器提供了4倍速的访问时间和更低的系统级能耗 和分立解决方案相比,紧密耦合的存储器、外设和硬件加速器将功耗降低高达85% 软件驱动程序和一个品种丰富的DSP函数库加快了应用软件开发,DSP函数库包括快速傅里叶变换(Fast Fourier Transform,FFT)、离散余弦变换(Discrete Cosine Transform,DCT)、有限脉冲响应(Finite Impulse Response,FIR)滤波器和无限脉冲
[物联网]
美高森美/Synopsys延续二十年OEM合作关系
美高森美(Microsemi)和Synopsys近日宣布延续其多年OEM协议,合作为美高森美的FPGA客户提供客制化的可程序设计逻辑组件(FPGA) 综合工具。 两家公司最近在美高森美于2月发布的新型成本优化、低功耗PolarFire中等规模FPGA上展开合作,Synopsys还在该组件的早期使用计划期间,为美高森美提供支持。 美高森美软件工程副总裁Jim Davis表示,延续该公司与Synopsys团队的长期关系,使该公司能够继续利用该公司丰富而专业的综合技术,同时使美高森美的工程资源,能够集中于支持FPGA组件独有的先进特点及能力。 Synopsys的Synplify Pro综合软件及Identify RTL除错器,均整合到美
[半导体设计/制造]
学界大师传道解惑,高校师生知识盛宴
(北京讯)由示范性微电子学院建设专家组、示范性微电子学院产学融合发展联盟指导,IEEE电路与系统学会(CASS)、IEEE固态电路学会(SSCS)、新思科技(Synopsys)和北京中关村集成电路设计园发展有限责任公司(IC Park)共同举办为期十天的第一季“先进CMOS技术暑期大师班(Advanced CMOS Technology Summer School)”(以下简称“大师班”)今日在北京举行了隆重的开幕式。本次大师班每天邀请一位来自半导体学术界或工业界的顶级专家进行全天的主题演讲。课程内容涵盖了集成电路产业从历史到商业到工艺到软件到设计的全链条,具体内容包括集成电路发展历史与展望、集成电路产业商业环境剖析、集成电路先进
[网络通信]
Synopsys与安博教育集团建立战略合作关系
2018年5月16日,中国 北京——全球第一大芯片自动化设计解决方案提供商及全球第一大芯片接口IP供应商、信息安全和软件质量的全球领导者Synopsys(NASDAQ: SNPS)今日宣布与中国教育的领航企业安博教育集团强强联手,正式建立战略合作关系,双方将在集成电路专业人才培养、产学合作、行业交流、教育项目等领域深化交流,加强合作,努力打造中国集成电路专业人才培养生态体系,为中国集成电路产业发展提供更加专业高效、具备创新能力和实践经验的高端人才资源。 Synopsys中国董事长兼全球副总裁葛群表示:“人才是加速科技创新的核心驱动力。中国集成电路产业进入跨越式发展阶段,大量需求造成优秀的专业人才成为紧缺资源。作为行业全球领军企
[半导体设计/制造]
新思科技:构建可信软件不容忽视开源组件和依赖管理
开源已经成为软件行业的趋势。然而,由于开源使用的便捷性,有些企业可能会忽略其带来的风险。开源组件和依赖管理对于软件安全性和可信性来说极其重要。 开源软件无处不在。无论在什么行业,每个企业都需要依赖软件来满足其业务需要。而且,企业构建和使用的大多数应用程序都包含了开源代码。随着各行各业迁移至云原生应用以及应用程序越来越复杂,软件的安全风险也随之增长。 企业需要在其软件开发生命周期(SLDC)中实施开源依赖最佳实践,并选择正确的工具来管理其开源风险。 新思科技指出对开发人员进行开源安全培训和部署强大的软件组成分析(SCA)工具,都是保护代码、降低开源软件风险的关键步骤。 新思科技中国区软件应用安全业务总监杨国梁表示:“开
[半导体设计/制造]
Synopsys加大在华投入 推动IC设计业发展
电子设计自动化(EDA)软件工具领导厂商Synopsys公司日前宣布:公司将进一步强化和拓宽与中国客户的合作伙伴关系,通过整合公司在设计平台、验证平台、设计服务以及知识产权(IP)等领域的资源,并借助多年来在中国投资建立的成熟基础架构,以基于咨询的全面解决方案来帮助中国客户提升设计创新能力,确保客户利用当前产业转型的契机实现快速发展。 作为长期根植于中国市场的全球性EDA工具厂商,Synopsys公司通过与产业和客户建立深入的合作伙伴关系,在中国保持了健康良性的发展。目前,Synopsys中国超过300人,包括市场、销售、技术支持、研发及高级技术咨询等。 “非常高兴再次访问中国,与以往不同的是,此行我们看到了许多
[焦点新闻]