基于AI加速的可复用FPV平台库  

AI accelerated reusable FPV platform

作　　者：商思航 江瑷珲 彭云霞 徐加山 Shang Sihang;Jiang Aihui;Peng Yunxia;Xu Jiashan(Shenzhen Sanechips Technology Co.,Ltd.,Shenzhen 518054,China)

机构地区：[1]深圳市中兴微电子技术有限公司,广东深圳518054

出　　处：《电子技术应用》2024年第8期37-41,共5页Application of Electronic Technique

摘　　要：形式验证FPV可将DUT抽象为状态空间进行遍历,针对动态仿真难以随机到的边界场景、异常场景和复杂组合场景可提高收敛速度,增强验证质量。但高质量Property开发对验证人员能力有较高的要求。面对该挑战,基于Cadence公司Jaspergold ABVIP提出了一种可复用FPV平台库解决方案,可在不同模块之间重用,降低FPV验证平台搭建时间,提升Property质量,同时借助其AI工具Proof Master生成加速Proven效率的database。FPV平台库+AI Database已在中兴微电子某车规项目落地并复用,发现动态仿真遗漏的4个故障。Proof Master可应用于项目全周期内,回归效率平均提升80.17%,FPV平台库+AI database可提升FPV初次Proven效率44.96%。与此同时对生成式大模型提升Property编写效率做了一定探讨。DUT into a state space for traversal,enhancing convergence speed and improving verification quality for boundary,exceptional,and complex combination scenarios that are difficult to reach through dynamic simulation.However,developing high-quality properties requires a high level of expertise from verification engineers.In the face of this challenge,this paper proposes a reusable FPV platform solution based on Cadence Jaspergold ABVIP,which can be reused across different modules,reducing FPV verification platform setup time,improving property quality,and leveraging AI tools to generate an accelerated proof efficiency database.The FPV platform library+AI database has been implemented and reused in a certain automotive project at Sanechips,identifying four faults missed by dynamic simulation.Proof Master can be applied throughout the project lifecycle,with an average regression efficiency improvement of 80.17%,and the FPV platform library+AI Database can enhance FPV initial proven efficiency by 44.96%.Meanwhile,this article also discusses the improvement of property writing efficiency using LLM.

关 键 词：形式验证 生成式大模型 AI Jaspergold 

分 类 号：TN402[电子电信—微电子学与固体电子学]