机器学习算法形式验证性能验证学习技术科技突破性属性人工智能
摘要：新思科技近日宣布,推出一种基于人工智能（AI）的最新形式验证应用,即回归模式加速器。作为新思科技VC Formal解决方案的组成部分,VC Formal采用最先进的机器学习算法,将设计和验证周期中的性能验证速度提高10倍。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《中国集成电路》（CN：11-5209/TN）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《中国集成电路》报道内容涉及半导体微电子科学与技术及其应用的各个领域，包括微电子器件与电路的基础及其设计技术、电子设计自动化、工艺技术、设备材料、封装技术、产业发展、应用技术及市场等。
省级期刊
人气 25328 评论 58
人气 4847 评论 47
