-
题名模拟验证中的覆盖评估准则
被引量:1
- 1
-
-
作者
吕涛
李晓维
樊建平
-
机构
中国科学院计算技术研究所
-
出处
《微电子学与计算机》
CSCD
北大核心
2003年第2期40-43,47,共5页
-
基金
国家自然科学基金重点项目(90207002)
北京市重点科技项目(H020120120130)
-
文摘
模拟作为实际工程领域中设计验证的主要方法,其不完备性常常是不可避免的,对大规模的设计方案尤其如此,因此覆盖评估成为模拟验证中不可或缺的技术。文章在陈述覆盖评估意义的基础上,详细介绍了现有的各类覆盖评估准则,剖析了各个准则的优缺点,并通过实验得出比较数据。
-
关键词
模拟验证
覆盖评估准则
电路结构
可观测性
有限自动机
错误模型
集成电路
-
Keywords
Coverage metrics,Code,Circuit structure,Observ-ability,FSM(Finite State Machine),Error model
-
分类号
TN406
[电子电信—微电子学与固体电子学]
-