| 保序模塊的formal fpv驗證 | |
| 所屬分類：技術論文 | |
| 上傳者：aetmagazine | |
| 文檔大?。?span>1007 K | |
| 標簽： formal FPV 保序模塊 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：與simulation驗證相比，formal驗證方法可以在短時間內遍歷所有可能的激勵，大大提高驗證的效率。保序模塊與時序控制以及流水線控制密切相關，設計規模較大，邏輯復雜度較高。介紹了使用formal fpv驗證保序模塊的流程，并對JasperGold debug結果進行了分析，采用formal fpv驗證能提高驗證效率，加快驗證收斂速度。 | |
| 現在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統工程研究所版權所有 京ICP備10017138號-2