典型文献
保序模块的formal fpv验证
文献摘要：
与simulation验证相比,formal验证方法可以在短时间内遍历所有可能的激励,大大提高验证的效率.保序模块与时序控制以及流水线控制密切相关,设计规模较大,逻辑复杂度较高.介绍了使用formal fpv验证保序模块的流程,并对JasperGold debug结果进行了分析,采用formal fpv验证能提高验证效率,加快验证收敛速度.
文献关键词：
formal;fpv;保序模块;JasperGold
中图分类号：
作者姓名：
赵亚雪;植玉;梁其锋;石义军
作者机构：
深圳市中兴微电子技术有限公司,广东深圳518054
文献出处：
引用格式：
[1]赵亚雪;植玉;梁其锋;石义军-.保序模块的formal fpv验证)[J].电子技术应用,2022(08):38-41,45
A类：
保序模块,fpv,JasperGold,debug
B类：
formal,simulation,验证方法,遍历,时序控制,流水线,线控,设计规模,规模较,逻辑复杂度,收敛速度
AB值：
0.213629
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
