保序模塊的formal fpv驗證
所屬分類：技術(shù)論文
上傳者：aetmagazine
文檔大小：1007 K
標簽： formal FPV 保序模塊
所需積分：0分積分不夠怎么辦？
文檔介紹：與simulation驗證相比，formal驗證方法可以在短時間內(nèi)遍歷所有可能的激勵，大大提高驗證的效率。保序模塊與時序控制以及流水線控制密切相關(guān)，設(shè)計規(guī)模較大，邏輯復(fù)雜度較高。介紹了使用formal fpv驗證保序模塊的流程，并對JasperGold debug結(jié)果進行了分析，采用formal fpv驗證能提高驗證效率，加快驗證收斂速度。
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。