声明
第一章 绪论
1.1 课题研究背景及意义
1.2 集成电路功能验证方法研究
1.2.1 模拟验证方法
1.2.2 形式化验证方法
1.2.3 半形式化验证方法
1.2.4 课题研究动机
1.3 本文主要工作
1.4 本文组织结构
第二章 基于阶段转移关系的功能点模型
2.1 功能模型相关研究
2.2 基于阶段转移关系的功能点模型
2.2.1 功能点模型定义
2.2.2 功能点间关系
2.2.3 功能点阶段转移关系
2.3 对比分析
2.4 本章小结
第三章 基于功能点模型的数据通路功能验证方法
3.1 数据通路的验证难点
3.2基于知识库的Corner Value生成策略
3.2.1 知识库的定义及作用
3.2.2 知识库中Corner Value的生成方式
3.2.3 知识库的设计实现
3.3 基于功能点模型的高效数据通路激励生成方法
3.3.1 基于功能点模型的激励生成方式
3.3.2 数据通路Corner Case遍历策略
3.3.3 基于区域分割策略的高效测试激励的生成
3.4 本章小结
第四章 基于功能点模型的自动化验证平台与实现
4.1 验证平台整体结构
4.2 功能点模型建模软件设计与实现
4.2.1 基于图形界面的建模软件设计与实现
4.2.2 基于建模语言的建模软件设计与实现
4.3 基于功能点模型的自动化验证
4.3.1 功能点模型的编译与解析
4.3.2 Testbench的生成写入方法
4.4 本章小结
第五章 基于数据通路设计实例验证与分析
5.1 运算部件-FPU的验证与分析
5.1.1 FPU相关背景
5.1.2 FPU验证结果分析
5.2 数据传输部件-DMA的验证与分析
5.2.1 DMA相关背景
5.2.2 DMA验证结果分析
5.3 本章小结
第六章 结束语
6.1 本文总结
6.2 工作展望
致 谢
参考文献
作者在学期间取得的学术成果
国防科学技术大学国防科技大学;