基于AI加速的可復用FPV平臺庫 | |
所屬分類:技術論文 | |
上傳者:wwei | |
文檔大?。?span>3534 K | |
標簽: 形式驗證 生成式大模型 AI | |
所需積分:0分積分不夠怎么辦? | |
文檔介紹:形式驗證FPV可將DUT抽象為狀態(tài)空間進行遍歷,針對動態(tài)仿真難以隨機到的邊界場景、異常場景和復雜組合場景可提高收斂速度,增強驗證質量。但高質量Property開發(fā)對驗證人員能力有較高的要求。面對該挑戰(zhàn),基于Cadence公司Jaspergold ABVIP提出了一種可復用FPV平臺庫解決方案,可在不同模塊之間重用,降低FPV驗證平臺搭建時間,提升Property質量,同時借助其AI工具Proof Master生成加速Proven效率的database。FPV平臺庫+AI Database已在中興微電子某車規(guī)項目落地并復用,發(fā)現(xiàn)動態(tài)仿真遺漏的4個故障。Proof Master可應用于項目全周期內,回歸效率平均提升80.17%,F(xiàn)PV平臺庫+AI database可提升FPV 初次Proven效率44.96%。與此同時對生成式大模型提升Property編寫效率做了一定探討。 | |
現(xiàn)在下載 | |
VIP會員,AET專家下載不扣分;重復下載不扣分,本人上傳資源不扣分。 |
Copyright ? 2005-2024 華北計算機系統(tǒng)工程研究所版權所有 京ICP備10017138號-2