覆盖率导向验证方法的研究和应用

摘要	第1-5页
Abstract	第5-6页
第1章 引言	第6-10页
·课题的背景和意义	第6-7页
·功能验证的现状和发展趋势	第7页
·覆盖率导向的验证方法的产生	第7-8页
·本课题的主要工作	第8页
·本论文的结构	第8-10页
第2章 功能覆盖率导向验证环境的结构	第10-21页
·TestBench的概念	第10页
·验证环境结构的选择	第10-12页
·覆盖率导向的验证环境结构	第12-17页
·VOQ设计以及验证环境的分析	第17-21页
第3章 覆盖率的类型	第21-25页
·覆盖率的分类	第21-22页
·代码覆盖率	第22页
·功能覆盖率	第22-23页
·覆盖率分析	第23页
·覆盖率分析的工具支持	第23-25页
第4章 功能覆盖率建模	第25-41页
·覆盖率模型的设计	第25-29页
·覆盖率模型的实现和覆盖率的统计	第29-31页
·对VOQ进行功能覆盖率建模	第31-41页
第5章 覆盖率导向验证方法中激励的生成机制	第41-53页
·几种激励生成机制的分类和比较	第41-42页
·各激励机制在功能覆盖率导向的验证中的应用	第42-45页
·可约束随机激励的实现	第45-47页
·VOQ的验证过程和覆盖率分析	第47-53页
第6章 结论与展望	第53-55页
参考文献	第55-57页
致谢	第57-58页