| 保序模块的formal fpv验证 | |
| 所屬分類：技术论文 | |
| 上傳者：aetmagazine | |
| 文檔大小：1007 K | |
| 標(biāo)簽： formal FPV 保序模块 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：与simulation验证相比，formal验证方法可以在短时间内遍历所有可能的激励，大大提高验证的效率。保序模块与时序控制以及流水线控制密切相关，设计规模较大，逻辑复杂度较高。介绍了使用formal fpv验证保序模块的流程，并对JasperGold debug结果进行了分析，采用formal fpv验证能提高验证效率，加快验证收敛速度。 | |
| 現(xiàn)在下載 | |
| VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。 | |
formal 相關(guān)資源
Copyright ? 2005-2024 華北計(jì)算機(jī)系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號(hào)-2