保序模块的formal fpv验证
Formal FPV verification of sequence preserving module作者机构：深圳市中兴微电子技术有限公司广东深圳518054
出 版 物：《电子技术应用》 (Application of Electronic Technique)
年 卷 期：2022年第48卷第8期
页 面：38-41,45页
学科分类：080903[工学-微电子学与固体电子学] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学]
主 题：formal fpv 保序模块 JasperGold
摘 要：与simulation验证相比,formal验证方法可以在短时间内遍历所有可能的激励,大大提高验证的效率。保序模块与时序控制以及流水线控制密切相关,设计规模较大,逻辑复杂度较高。介绍了使用formal fpv验证保序模块的流程,并对JasperGold debug结果进行了分析,采用formal fpv验证能提高验证效率,加快验证收敛速度。
维普期刊数据库
同方期刊数据库