北桥芯片功能验证中的覆盖率分析

摘要	第1-4页
ABSTRACT	第4-7页
第一章 引言	第7-15页
·功能验证概述	第7-10页
·形式验证	第7页
·模拟仿真验证	第7-10页
·覆盖率分析概述	第10-13页
·代码覆盖率	第11页
·功能覆盖率	第11-13页
·本论文的内容及章节安排	第13-15页
第二章 龙芯北桥及其验证环境	第15-21页
·北桥验证	第15-17页
·北桥的基本结构	第15页
·北桥的验证环境	第15-17页
·北桥的验证方法	第17页
·PCI Bridge 的验证	第17-19页
·PCI Bridge 的基本结构	第17-18页
·PCI Bridge 的验证环境	第18-19页
·PCI Bridge 的验证	第19页
·小结	第19-21页
第三章 北桥PCI bridge 的覆盖率分析	第21-37页
·代码覆盖率分析	第21-23页
·功能覆盖率分析	第23-29页
·模型建立	第24-27页
·功能覆盖率结果分析	第27-29页
·代码覆盖率和功能覆盖率结合的分析方法	第29-35页
·小结	第35-37页
第四章 结束语	第37-39页
·主要工作	第37页
·今后工作设想	第37-39页
参考文献	第39-41页
致谢	第41-42页
作者简历	第42页