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