机器学习算法形式验证性能验证学习技术属性科技突破性回归模式
摘要：Synopsys推出一种基于人工智能（AI）的最新形式验证应用,即回归模式加速器.作为新思科技VCFormal解决方案的组成部分,VCFormal采用最先进的机器学习算法,将设计和验证周期中的性能验证速度提高10倍.除了显著的性能提升,使用此应用还可加速形式属性验证,以便后续运行实现更好的形式收敛.回归模式加速器应用还能够在每日回归测试时显著节省计算资源,以验证复杂的芯片系统（SoC）设计,从而在过去无法实现的情况下运行形式验证.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
