| 基于AI加速的可复用FPV平台库 | |
| 所屬分類：技术论文 | |
| 上傳者：wwei | |
| 文檔大小：3534 K | |
| 標(biāo)簽： 形式验证 生成式大模型 AI | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：形式验证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编写效率做了一定探讨。 | |
| 現(xiàn)在下載 | |
| VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計(jì)算機(jī)系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號(hào)-2