文章
日志
帖子
首页
论坛
博客
大讲堂
人才网
直播课
资讯
全部
通信/手机
综合电子
测试测量
半导体/EDA
微处理器
模拟/电源
可编程逻辑
嵌入式
汽车电子
医疗电子
工业电子
物联网
可穿戴
机器人/飞行器
其他科技
传感器/Mems
射频微波
人工智能
技术文章
全部
通信/手机
综合电子
测试测量
半导体/EDA
微处理器
模拟/电源
可编程逻辑
嵌入式
汽车电子
医疗电子
工业电子
物联网
可穿戴
机器人/飞行器
其他科技
传感器/Mems
射频微波
人工智能
频道
通信/手机
综合电子
测试测量
半导体/EDA
微处理器
模拟/电源
可编程逻辑
嵌入式
汽车电子
医疗电子
工业电子
物联网
可穿戴
机器人/飞行器
其他科技
传感器/Mems
射频微波
人工智能
登录
注册
创芯云服务 :
创芯大讲堂
|
创芯人才网 |
数字IC职业培训
EETOP诚邀线上IC培训讲师!
资讯
>
嵌入式
>
内容
新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍
2018-09-07 17:43:40
来源:
未知
VC Formal回归模式加速器实现更快的形式收敛
新思科技(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
技术的研发扩展到验证流程和方法中,从而加快产品上市速度。”
关键词:
EETOP 官方微信
创芯大讲堂 在线教育
创芯老字号 半导体快讯
相关文章
上一篇:
Skyworks将以4.05亿美元收购ASoC芯片
下一篇:
Arm中国DesignStart“开芯计划助你开芯
全部评论
最新资讯
最热资讯
自主瓶颈巨大:俄罗斯芯片一半次品!
美国即将披露中国先进芯片厂名单
中国闪存突破!“廉价”QLC性能追平TLC
中芯国际2023年获利大幅下滑50.4%,2024
光刻机龙头ASML要走 荷兰出手送大招:预留
罗克韦尔自动化携手英伟达 拓宽 AI 在制
新型的FPGA器件将支持多样化AI/ML创新进程
东芝推出带有嵌入式微控制器的SmartMCD™系
成本数倍成长,讲好的补贴不给!台积电遭遇
IAR率先支持瑞萨首款通用RISC-V MCU,树立
最新Omdia研究显示,2023年半导体市场收入
Melexis推出动态RGB-LED应用新型开发方案
Melexis推出动态RGB-LED应用新型开发方案
高通、英特尔、Google 组队打Nvidia!拟靠oneAPI推翻CUDA势力
苹果花更多钱回购股票而非研发,被美国司法部列为“缺乏竞争”的证据
第四次工业革命大幕速起,实现伟大复兴要严防对海外人工智能技术的三大依赖
国际半导体产业协会预估台积电、英特尔年内建成 2nm 晶圆厂
建设高端半导体装备,SRII赋能新一代集成电路制造
高通推出两款下一代音频平台,面向高端和中端层级耳塞、耳机和音箱提升无线音频体验
Vicor的48V供电架构可以支持12V系统
总投资630亿!京东方国内首条 8.6 代 AMOLED 生产线奠基
全栈式持续助力新能源车电力创新,泰克参加ATC汽车测试技术周
手把手教你制作高速吹风机
英飞凌参加2024年美国国际电力电子应用展览会, 以丰富的功率解决方案组合推动低碳化和数字化进程
业界最热文章
瑞萨推出全新MCU,支持高分辨率模拟功能
瑞萨率先在业内推出采用自研CPU内核的
IAR全面支持小华全系芯片,强化工控及汽
东芝在其电机控制软件开发套件中新增位置
IAR率先支持瑞萨首款通用RISC-V MCU,树
手把手教你制作高速吹风机
免除Cortex-M0/M3 预付授权费,ARM Des
那些跨界打劫的MCU们
ST推出55纳米(nm)嵌入式闪存制造工艺
基于形式验证的高效 RISC-V 处理器验证方法
ARM提供免费Cortex-M0处理器IP,以简化
新思科技凭借突破性机器学习技术将形式属
中芯国际推出28纳米HKMG制程 与联芯打造
华邦OctalNAND Flash与新思科技DesignWa
开箱首发!瑞芯微旗舰芯RK3588开发板重磅
大联大世平集团推出基于NXP产品的汽车通
瑞萨推出其首款集成闪存的双核低功耗蓝牙
Cirrus Logic、英特尔和微软联手推出全
NECTO Studio 6.0赋能开发人员使电路充满活力
IAR推出新版IAR Embedded Workbench f
ET创芯网(EETOP)-电子设计论坛、博客、超人气的电子工程师资料分享平台
论坛
博客
大讲堂
人才网
直播课
关于我们
联系我们
隐私声明
@2003-2024 EETOP
京ICP备10050787号
京公网安备:11010502037710
×