新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍

摘要

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