机器学习算法形式验证性能验证学习技术科技属性突破性回归模式
摘要:新思科技(Synopsys,Inc.)推出一种基于人工智能(AI)的最新形式验证应用,即回归模式加速器.作为新思科技VCFormal解决方案的组成部分,VCFormal采用最先进的机器学习算法,将设计和验证周期中的性能验证速度提高10倍.除了显著的性能提升,使用此应用还可加速形式属性验证,以便后续运行实现更好的形式收敛.回归模式加速器应用还能够在每日回归测试时显著节省计算资源,以验证复杂的芯片系统(SoC)设计,从而在过去无法实现的情况下运行形式验证.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《单片机与嵌入式系统应用》(CN:11-4530/V)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
杂志详情