新思科技（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技术的研发扩展到验证流程和方法中，从而加快产品上市速度。”
上一篇：英特尔携手百度云，推动人工智能应用
下一篇：安森美半导体推出变革性物联网开发套件
推荐阅读
史海拾趣
Astro Industries Inc的创始人在电子行业拥有丰富的经验，他们看到了市场对于高性能电子产品的迫切需求。于是，公司从创立之初就专注于技术创新，投入大量资源进行研发。经过不懈的努力，Astro Industries Inc成功推出了一款具有颠覆性的电子产品，其性能远超当时市场上的同类产品，迅速获得了市场的认可。
进入21世纪后，随着互联网的普及和信息技术的飞速发展，光纤通信技术迎来了新的发展机遇。DiCon凭借其在微机电系统（MEMS）、微光学设计等领域的技术积累，成功推出了一系列具有创新性的光纤通信产品。这些产品不仅提高了数据传输的速度和稳定性，还降低了成本，进一步扩大了公司在市场上的份额。
随着全球化趋势的加速，大雅智能积极实施国际化战略，拓展海外市场。通过与国外知名企业的合作与交流，大雅智能引进先进技术和管理经验，不断提升自身的核心竞争力。同时，大雅智能还积极参加国际展览和论坛活动，展示其创新成果和产品实力。这些努力让大雅智能在国际舞台上崭露头角，为全球消费者提供更多优质的电子产品。
面对日益激烈的市场竞争，格莱尔积极推进数字化转型和智能化升级。公司引入了ERP、EHR、OA等信息化系统，实现了生产、管理、销售等各个环节的信息化和智能化。同时，格莱尔还加大了对自动化生产设备的投入和研发力度，提高了生产效率和产品质量。这些举措不仅提升了企业的竞争力，也为格莱尔在未来的发展中注入了新的动力。
Eureka一直重视研发实力的提升和技术创新。公司拥有一支专业的研发团队，致力于新技术的研发和应用。近年来，Eureka在人工智能、物联网等领域取得了多项技术突破，推出了一系列具有竞争力的新产品。这些技术的突破和应用，不仅提升了Eureka的产品性能和质量，也推动了公司在行业内的领先地位。
在竞争激烈的电子行业中，DBM Optix深知只有不断创新才能保持领先地位。因此，公司始终将研发作为核心竞争力之一，持续投入大量资金用于新技术、新产品的开发。通过与高校、研究机构等合作，DBM Optix不断引入新技术、新材料，并将其应用于产品中，从而不断提升产品的性能和品质。这些创新举措使得DBM Optix在光学通信领域始终保持领先地位。
|
控制板的电源要求，板子上电时先给单片机供电，再给其他的元器件供电，以便各个部件在单片机的控制范围内。板子断电时先断其他元器件的电源，再给单片机断电。大家讨论下控制的方式……… 查看全部问答∨ |
我用的是stc89c51,波特率设置为1200，pc波特率也做成1200时可以和pc机的软件传数据，可是换9600的波特率就不行了？ mcu初值1200时是0xe6,pc初值0x60 mcu初值9600时是0xfd,pc初值0x0c… 查看全部问答∨ |
|
我对Mini2440的中断感到非常困惑，我在LPC2103上中断几乎没什么问题。但是在Mini2440调试我都捕捉不到。最感到困惑的是假如我的开发板是内存地址0x30000000到0x40000000吧,那么这个指令mov r1,#0xffffffff和str r1,[r0]应该是会发生数 ...… 查看全部问答∨ |
我的平台上连着USB 3G上网卡，想达到这样的效果： 1. 点击“我的连接”时，就启动USB电源；稍等一会点“连接”就可以拔号了 2. 点“断开连接”时，就断开USB电源 不知修改哪里的代码，电源的控制很简单，设置一个使能引脚而已… 查看全部问答∨ |
|
之前发过帖子询问关于绘制窗口时的问题， A，B窗口互相独立，B弹出时会覆盖A，B隐藏时覆盖A的部分会刷白，之后在网上查询过资料后找到了解决的问题。 因为A,B窗口都是贴了PNG的图片，PNG用PS修饰之后可以显示透明的效果，于是就用了IImage绘制。 ...… 查看全部问答∨ |
我想试一下2个gprs模块的点对点通讯，但是连不通，2个模块拨通后都是10.14.x.x ip地址，为什么连不通？？ 有人说是移动认为阻断了内网之间的ip连接。但是也没有查到较权威的说法？？ 现在有的公司的gprs dtu产品提供点对点的通讯模式 ...… 查看全部问答∨ |
|
我用的是arm+linux 文件系统是用busybox制作的，再用mkfs.jffs2做成jffs文件系统； 但是现在出了个怪问题是：总的flash只有16M，分给boot和kernel 3M，还剩下13M；问题来了，我用du命令查看文件夹的大小，结果是已经有两个文件夹的大小分别是8.1M ...… 查看全部问答∨ |
我向做一个程序，要用到数据库，但是现在pda上的空间不够，我需要外部扩展的存储器，现在pda读u盘和sd卡都是正常的，我想把数据库放在sd卡里面，请问这样，如果调用数据库里面的信息能不能实现啊，是直接就当自己的存储器里面的文件用，还是需要再 ...… 查看全部问答∨ |
|
我用的是(STM32F103R8) PC12作下降沿触发，外部输入的时序如下图： 下载 (20.77 KB) 2010-12-3 15:28 现在出现一个情况，搞了好长时间也没查出问题。… 查看全部问答∨ |
- 射频 FDA 如何使用射频采样 ADC 来增强测试系统为了在无线通信系统中实现更高的数据速率以及在雷达中使用更窄的脉冲来解析近距离目标，对测试和测量仪器的性能和带宽提出了更高的要求。高 ...
- 基于OPENCV的相机捕捉视频进行人脸检测--米尔NXP i.MX93开发板本篇测评由与非网的优秀测评者“eefocus_3914144”提供。本文将介绍基于米尔电子MYD-LMX93开发板（米尔基于NXP i MX93开发板）的基于OpenC ...
- Nordic Semiconductor nRF54H20 超低功耗 SoC 荣获 2024 年世界电子成就奖 (WEAA)Nordic 多协议 SoC nRF54H20 凭借卓越的处理能力、内存和效率被业界誉为最具革命性的无线发明之一挪威奥斯陆 – 2024年11月6日 – ...
- 英国测试装配神经系统的无人机：无需经常落地进行检查11月6日消息，据报道，英国南安普顿大学的研究人员正在进行一项突破性实验，测试一款装备了创新“神经系统”的无人机。据悉，这款无人机采 ...
- 超宽带的力量：重塑汽车、移动设备和工业物联网体验超宽带是一种强大的无线通信技术，通常被称为UWB。该技术用途广泛，可执行多种难以分类的任务。例如，UWB通常用作测距技术，可精确定位物体 ...
- 意法半导体发布面向表计及资产跟踪应用的高适应易连接双无线IoT模块
- 今年我国物联网连接数有望突破 30 亿
- 英飞凌SECORA™ Pay Bio增强非接触式生物识别支付的便利性和可信度
- ADI公司如何让IO-LINK和工业以太网在智能工厂车间通信
京公网安备 11010802033920号