模拟验证中覆盖评估技术的研究

摘要

该文研究模拟验证中的激励生成和覆盖评估.论文全面分析了这两个领域内已有的研究成果和成熟技术,并应用于通用CPU设计验证的工程项目之中.在激励生成研究方面,该文将基于测试向量的验证方法应用于通用CPU的设计验证之中,通过实验结果论述了该方法的有效性.在覆盖评估研究方面,该文分析了各类覆盖准则的特点,并在通用CPU的设计验证中,运用多种准则评估了基于测试向量的验证激励,在此基顾上分析了各类准则的优缺点和适用情况.

目录

文摘

英文文摘

声明和关于论文使用授权的说明

第一章引言

1.1设计验证概述

1.1.1模拟验证中的激励生成

1.1.2模拟验证中的覆盖评估

1.1.3数据流分析

1.2本文的内容及章节安排

第二章模拟验证中的激励生成技术

2.1模拟激励生成技术

2.1.1基于错误建模的验证

2.1.2基于测试向量的验证

2.2各类激励生成技术的分析和比较

2.3基于测试向量的验证技术在通用CPU设计中的应用

2.3.1设计验证的激励生成平台

2.3.2设计验证的模拟平台

2.4实验结果与分析

2.5小结

第三章模拟验证中的覆盖评估技术

3.1覆盖评估的意义

3.2覆盖评估技术

3.2.1代码覆盖准则

3.2.2电路结构覆盖准则

3.2.3可观测性覆盖准则

3.2.4有限状态机覆盖准则

3.2.5错误模型覆盖准则

3.3覆盖评估技术在通用CPU设计中的应用

3.3.1覆盖评估平台

3.3.2实验数据和分析

3.4小结

第四章数据流分析

4.1基本概念

4.2关于UD链和FUD链的例子

4.3相关算法

4.3.1添加φ-term的算法

4.3.2链接FUD链的算法

4.4小结

第五章基于FUD链的可观测性评估

5.1可观测性的定义

5.2可观测性评估算法

5.2.1已有的可观测性覆盖准则及其评估算法

5.2.2基于FUD链的可观测性评估算法

5.3基于FUD链的可观测性评估系统OCM_Statistics

5.3.1实现环境

5.3.2数据结构

5.3.3系统框架

5.3.4实验结果

5.4小结

第六章结束语

6.1主要工作

6.1.1本文在通用CPU设计验证中所做的工作

6.1.2本文针对可观测性评估的研究工作

6.2今后工作的设想

参考文献

致 谢

作者简历