| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·课题的背景及研究意义 | 第7-10页 |
| ·验证所面临的问题 | 第8-9页 |
| ·解决验证问题的方向 | 第9-10页 |
| ·课题来源及目的 | 第10页 |
| ·本文的研究内容与章节安排 | 第10-11页 |
| 第二章 VMM 验证方法学 | 第11-17页 |
| ·SYSTEMVERILOG 简介 | 第11-12页 |
| ·VMM 标准验证架构 | 第12-14页 |
| ·VMM 标准库介绍 | 第14-16页 |
| ·本章小结 | 第16-17页 |
| 第三章 ISO/IEC 7816 的通讯协议 | 第17-27页 |
| ·智能卡操作规程 | 第17-20页 |
| ·类别的选择 | 第18-19页 |
| ·激活和冷复位 | 第19页 |
| ·热复位 | 第19-20页 |
| ·时钟停止和释放 | 第20页 |
| ·字符帧 | 第20-22页 |
| ·字符帧格式 | 第21页 |
| ·字符校验及重发机制 | 第21-22页 |
| ·复位应答 | 第22-24页 |
| ·初始字符和编码规则 | 第22-23页 |
| ·ATR 格式 | 第23-24页 |
| ·传输协议 | 第24-26页 |
| ·异步半双工字符传输协议 | 第24页 |
| ·异步半双工块传输协议 | 第24-25页 |
| ·基本的命令响应对 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第四章 7816 接口的模块级验证环境 | 第27-53页 |
| ·7816 测试点分解 | 第27-31页 |
| ·模块级验证架构 | 第31-32页 |
| ·层次化验证组件的设计 | 第32-51页 |
| ·信号层分析 | 第34-35页 |
| ·命令层分析 | 第35-38页 |
| ·功能层分析 | 第38-43页 |
| ·场景层分析 | 第43-44页 |
| ·测试层分析 | 第44-46页 |
| ·RAL（Register Abstraction Layer）模块及应用 | 第46-48页 |
| ·子系统的封装 | 第48-49页 |
| ·callback 的应用 | 第49-50页 |
| ·断言的应用 | 第50-51页 |
| ·本章小结 | 第51-53页 |
| 第五章 验证过程及结果 | 第53-61页 |
| ·验证工具介绍 | 第53页 |
| ·验证环境结构 | 第53-54页 |
| ·验证流程 | 第54-56页 |
| ·验证结果 | 第56-59页 |
| ·本章小结 | 第59-61页 |
| 第六章 总结及展望 | 第61-63页 |
| ·总结 | 第61页 |
| ·展望 | 第61-63页 |
| 致谢 | 第63-65页 |
| 参考文献 | 第65-67页 |
| 研究成果 | 第67-69页 |
| 附录 A | 第69-73页 |
| 附录 B | 第73-75页 |