封面
声明
中文摘要
英文摘要
目录
第1章 绪论
1.1 研究背景与意义
1.2 国内外研究进展
1.3 本文的工作及创新点
1.4 本文的章节组织结构
第2章 数字集成电路的设计验证技术
2.1 设计验证简介
2.2 模拟验证技术
2.3 形式化验证技术
2.4 半形式化验证技术
2.5 模拟验证与形式化验证的比较
2.6 本章小结
第3章 基于静态分析的RTL设计错误检测方法
3.1 基于静态分析的错误检测原理
3.2 RTL设计错误的静态检测方法
3.3 RTL设计错误的静态检测系统的设计思想
3.4 RTL设计错误的静态检测系统的实现方案
3.5 本章小结
第4章 状态机、管脚配置和控制信号有效值的静态检测实现
4.1 状态机死锁的静态检测方法及实现
4.2 管脚配置错误的静态检测方法及实现
4.3 控制信号有效值错误的静态检测方法及实现
4.4 本章小结
第5章 总结与展望
5.1 本文总结
5.2 进一步的研究工作
参考文献
致谢
附录A (攻读硕士学位期间发表的论文及专利)
附录B (攻读硕士学位期间参与的科研项目及获奖情况)
湘潭大学;