封面
声明
中文摘要
英文摘要
插图索引
表格索引
符号对照表
缩略语对照表
目录
第一章 绪论
1.1课题背景及研究的目的和意义
1.2国内外研究现状分析
1.3课题研究的主要内容
1.4论文的组织结构
第二章 覆盖率驱动的随机验证方法研究
2.1随机验证
2.2覆盖率驱动的随机验证
2.3本章小结
第三章 通信端口架构和验证策略
3.1光纤通道交换机
3.2通信端口功能分析
3.3覆盖率驱动的验证策略
3.4本章小结
第四章 覆盖率驱动的验证环境实现
4.1验证平台概述
4.2验证平台组件设计
4.3本章小结
第五章 验证结果分析与讨论
5.1随机测试仿真
5.2覆盖率统计结果分析
5.3本章小结
第六章 总结与展望
6.1总结
6.2展望
参考文献
致谢
作者简介