| 保序模块的formal fpv验证 | |
| 所属分类：技术论文 | |
| 上传者：aetmagazine | |
| 文档大小：1007 K | |
| 标签： formal FPV 保序模块 | |
| 所需积分：0分积分不够怎么办？ | |
| 文档介绍：与simulation验证相比，formal验证方法可以在短时间内遍历所有可能的激励，大大提高验证的效率。保序模块与时序控制以及流水线控制密切相关，设计规模较大，逻辑复杂度较高。介绍了使用formal fpv验证保序模块的流程，并对JasperGold debug结果进行了分析，采用formal fpv验证能提高验证效率，加快验证收敛速度。 | |
| 现在下载 | |
| VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。 | |
Copyright © 2005-2020 《电子技术应用》版权所有 京ICP备10017138号-2