首页 > 科技浪潮 > 内容

Synopsys 通过突破性的机器学习技术将形式属性验证性能提高了 10 倍

发布于：2024-06-06 编辑：匿名来源：网络

Synopsys 通过突破性的机器学习技术将形式属性验证性能提高了 10 倍 VC 形式回归模式加速器可实现更快的形式收敛第 9 年，中国北京，3 月 6 日 - Synopsys, Inc . （纳斯达克股票代码：SNPS）宣布推出基于人工智能（AI）的新形式验证应用程序——回归模式加速器。

作为 Synopsys VC Formal? 解决方案的一部分，VC Formal 使用最先进的机器学习算法，在设计和验证周期中将性能验证速度加快 10 倍。

除了显着的性能改进之外，使用此应用程序还可以加速形式属性验证，以便后续运行实现更好的形式收敛。

回归模式加速器应用程序还可以在日常回归测试期间显着节省计算资源，以验证复杂的片上系统（SoC）设计，从而在过去不可能的情况下运行形式验证。

Synopsys 通过突破性的机器学习技术将形式属性验证性能提高了 10 倍

意法半导体研发设计经理David Vincenzoni表示：“作为领先的集成器件制造商，意法半导体致力于提供创新解决方案，推动智能驾驶和物联网（包括智能工业）领域的最新技术发展。

因此，设计人员需要提供最佳性能、易用性和高质量结果的正式验证解决方案。

Synopsys 的全新 VC 形式回归模式加速器应用程序始终如一地提供数量级的性能优化，同时改进我们最复杂的设计模块。

系统 Verilog 断言的其他不确定属性的融合“日益复杂的 SoC 系统和日益增加的上市时间压力对形式属性验证性能和吞吐量方面的持续创新提出了新的要求。

Synopsys VC Formal 包含全面的形式化应用程序，包括属性验证 (FPV)、时序等效性检查 (SEQ)、寄存器验证 (FRV)、形式化覆盖分析器 (FCA)、连接性检查 (CC) 和自动属性提取 (AEP)，这些提供为许多不同的意法半导体应用提供更快的属性收敛。

VC Formal 和 Verdi? 自动调试系统与 Synopsys VCS? 功能验证解决方案的本机集成使设计和验证团队能够轻松利用形式化技术并自动对形式化结果进行根本原因分析。

此外，VCS 强大的覆盖引擎在 VC Formal 中的本机集成有助于将形式分析轻松插入现有的验证环境中。

Synopsys 验证小组的 Manish Pandey 表示：“机器学习已成为解决高度复杂和尖端设计验证的强大技术。

我们与意法半导体等行业领导者建立了长期合作伙伴关系，为先进 SoC 提供全面的验证解决方案。

通过这些合作，我们正在将人工智能技术的研发延伸到验证流程和方法中，从而加快产品的上市时间。

“上市时间包含回归模式加速器的 VC Formal.09 版本计划于 9 月上市。

其他资源。

有关 VC Formal 的更多信息，请访问：InFormal 聊天博客：Formal 网页 ”。

站长声明

标签：

上一篇：安世集团重点扩建的广东新封装测试工厂已正式投产

下一篇：Gartner：一线车企已经开始开发自己的汽车芯片，以更好地控制自己的路线图和供应链

全球92家医疗AI初创公司重点关注哪些方向？

大数据金融社交网络数据征信，你猜有多大用处？巨大的信贷市场需求和稀疏的数据给金融机构征信和风控带来困难。随着互联网和数字技术的发展，有条件的企业开始提供多种征信服务，而私营企业最推荐的就是社交网络大数据信用评估。但这有多有效呢？国内利用人工智能和大数据进

06-18
工业富联发布2019年财报：扎根“新基建”

3月30日晚，工业富联发布年度业绩报告。数据显示，工业富联全年业绩稳定向好，营收9800万元，与去年同期基本持平；归属于上市公司股东的净利润6000万元，同比增长10.08%。 3月31日，工业富联董事长李军旗在年度业绩交流会上表示，国家推出的“新基建”为公司发展带来机遇。

06-18
“睿康生物科技”获数亿元A轮融资

上海睿康生物科技有限公司完成数亿元A轮融资，由经纬中国领投，天使投资人创新工场跟投沃生投资持续加大，格鲁资本专为财务顾问服务。本轮融资将用于加大公司在人才、临床质谱研发、营销等方面的投入。

06-18
手机电池制造商飞毛腿将于12月赴港上市，拟募资约6亿元

据香港媒体报道，中国最大的手机电池品牌公司飞毛腿计划于本年11日发起公开发行每月筹集5亿元至6亿元。本月22日前上市。　　据透露，公司募集资金将主要用于并购及扩大产能和销售网络。飞毛腿预计年产能将达到1万只，到2016年手机电池预计将增至1万只。　　据了解，本次公

06-17
深圳正在成为友好城市的路上

深圳这个以经济规模和增速着称的万亿级城市，长期以来更关注其经济活力和企业创新。然而其逐渐形成的友好城市氛围、居住环境、多元文化却常常被忽视。事实上，这里不仅是改革开放的先行地、创新创业的沃土，也是一座友好的城市。体现了热情好客、老年友好、性别平等、创业

06-17
人保成立邦邦汽服获4亿元首轮融资

据投资界12月21日消息，昨天，人保财险宣布成立邦邦汽服公司。同时，邦邦汽车服务宣布获得人保财险、人保金服、中信产业基金、青瓦资本、圆通速递、中民投、京友国际集团4亿元首轮投资和木材电机。　　邦邦汽车服务表示，未来将通过链接和打通B端资源为车主服务，打造B2C车

06-17
用嘴拍视频真的来了！ Meta这个新应用太不可思议了

今年是AI在图像视频制作领域取得长足进步的一年。有人凭借人工智能生成的图像获得了数字艺术奖，击败了所有人类艺术家；有像Tiktok这样的应用程序，可以通过文本输入生成图像，并将其变成短视频绿屏背景；而且有新产品可以做到这一点，文字直接生成视频，直接达到“用嘴拍视

06-21
旭辉与GIC签署投资协议，建立70亿元人民币投资平台

投资行业动态，旭辉集团与新加坡政府投资公司（GIC）签署投资协议，建立总规模人民币的投资平台70亿共同开发位于中国长三角地区主要城市的住宅项目。其中，旭辉集团和GIC将分别出资51%和49%。这是继今年1月旭辉与GIC共同成立5.7亿美元长租公寓投资平台后，双方再次合作。旭

06-17
亿达资本参与设立10亿元南通沿海产业基金中的基金

据投资界（ID：pedaily）了解，8月9日下午，海岸集团与亿达资本共同设立南通沿海产业投资基金总规模10亿元。基金发展基金正式成立。省高新投资集团董事长王会清、市委副书记书记、张彤市长分别致辞。张彤与艾达资本董事长应文禄共同揭幕该基金。张彤代表南通市委、市政府

06-18
王小川的第一个人工智能应用程序来了！专注AI搜索+智能助手

百川智能成立一年多了。据媒体报道，其估值已突破亿元人民币。虽然百川智能作为领先的大型模型公司，曾被朱啸虎点名“技术可靠，创始人也可靠”。普通用户对百川智能的技术和产品认知不强。主要原因在于，在此之前，百川智能并未针对C端用户推出像闻心一言、Kimi智能助手

06-18
同方威视佰科：自主研发新型发光材料推动光谱分析迎来可承受时代

随着智能制造理念的不断深入，制造业正在经历从生产到各个层面的全链条智能化转型通往工厂的线路。要实现整个生产流程的数字化升级，离不开每个单点场景的改造。这时，相应的技术突破就成为关键。另一方面，随着国内产业升级步伐加快，大中小型制造商越来越重视生产过程中

06-18
麦普奇医疗获数千万元A轮融资，投资方为大辰财智

据投资界2月14日消息，深圳市麦普奇医疗科技有限公司获数千万元融资获得A轮融资，投资方为大陈财智。。本轮融资后，将进一步扩大团队，完善产品布局，将孔夫子打造成国内介入医疗器械领域领先的平台公司。麦普奇成立于今年9月，主要致力于高端介入医疗器械的研发、生产和

06-17