保序模块的formal fpv验证
所属分类:技术论文
上传者:aetmagazine
文档大小:1007 K
标签:formalFPV保序模块
所需积分:0分积分不够怎么办?
文档介绍:与simulation验证相比,formal验证方法可以在短时间内遍历所有可能的激励,大大提高验证的效率。保序模块与时序控制以及流水线控制密切相关,设计规模较大,逻辑复杂度较高。介绍了使用formal fpv验证保序模块的流程,并对JasperGold debug结果进行了分析,采用formal fpv验证能提高验证效率,加快验证收敛速度。
现在下载
VIP会员,AET专家下载不扣分;重复下载不扣分,本人上传资源不扣分。
Baidu
map