历史上的今天
今天是:2024年09月06日(星期五)
2018年09月06日 | 新思科技推出回归模式加速器
2018-09-06
新思科技(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技术的研发扩展到验证流程和方法中,从而加快产品上市速度。”
史海拾趣
|
优盘跟便笺似乎扯不上什么关系。但是日本一家公司却将这两款产品整合到了一起。这款优盘的容量为2GB,上面还配有100张迷你便笺,方便人们随手记录电话号码等信息。 … 查看全部问答> |
|
Windows CE Kernel for ARM (Thumb Enabled) Built on Nov 24 2008 at 14:58:01 [OAL] ++OEMInit() [OAL] S3C6410_APLL_CLK : 532000000 [OAL] ARMCLK : 532000000 [OAL] HCLK : 133000000 [OAL] PCLK : ...… 查看全部问答> |
|
我使用的是Win CE 5.0系统,想用net use 命令来访问局域网共享资源。 MSDN中对此的格式说明是: net use [|*] [] [/user:] [/d] 我按照上面的格式输入:net use ee \\\\ll\\filename /user:hf,然后就会弹出一个对话框,如下图: 若共享资源设 ...… 查看全部问答> |
|
我安装xilinx ise时所有选项都全部选择了,过程中就有跟什么usb有关的信息 不知为何意 然后ingore 一路next.完成后发现\"对象名已存在\"提示,接着无论怎样 重启后计算机再也无法识别usb的鼠标和键盘了 只有重新插拔后才能识别 将ise卸载后 同时删除 ...… 查看全部问答> |
|
最近准备用LPC1114做《智能能家居系统》的分控部分,很多人多提出问题,感觉用LPC1114还不如用51做。我想可能是大家对LPC1114不熟悉,所以有点畏惧,其实个人认为,LPC1114比51更方便,不需要编程器或仿真, ...… 查看全部问答> |
|
谁知道怎么在Quartus II8.0中如何自定义UDA1341TS芯片的L3接口核 在Cyon II中的EP2C35F672C8下 利用UDA1341TS进行音频读取回放的项目。求助… 查看全部问答> |
|
准备用MRF24J40做ZIGBEE系统,MCU部分采用其他厂家的,问题在1、底层协议要自己编写,感觉没有头绪;2、MRF24J40通信距离大概是多少呢,之前的其他厂家距离都不是很远<100米。… 查看全部问答> |
|
求助 怎么编辑 Altium Designer 元件库和封装库 文件? 在网上下载了一下 Altium Designer的 元件库和封装库,可是经常会出现问题。 我想重新编辑一下这些库,然后改成自己的?库文件的后缀是 .SchLib和.PcbLib。 不知道该怎么编辑.SchLib和.PcbLib后缀的文件?谢谢!… 查看全部问答> |




