| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 符号对照表 | 第12-13页 |
| 缩略语对照表 | 第13-17页 |
| 第一章 绪论 | 第17-21页 |
| 1.1 验证介绍 | 第17页 |
| 1.2 验证的发展及问题 | 第17-19页 |
| 1.3 本文主要内容 | 第19-21页 |
| 第二章 UVM方法学简介 | 第21-33页 |
| 2.1 UVM特点及发展 | 第21页 |
| 2.2 UVM组成结构及机制 | 第21-29页 |
| 2.2.1 验证平台与DUT关系 | 第21页 |
| 2.2.2 UVM的组成结构 | 第21-28页 |
| 2.2.3 UVM中的组成机制 | 第28-29页 |
| 2.3 通信端口 | 第29-30页 |
| 2.4 phase | 第30-32页 |
| 2.5 本章小结 | 第32-33页 |
| 第三章 7816接口协议介绍 | 第33-39页 |
| 3.1 7816接口通信协议 | 第33-38页 |
| 3.1.1 7816接口电气特性 | 第33页 |
| 3.1.2 数据传输 | 第33-35页 |
| 3.1.3 复位应答 | 第35-37页 |
| 3.1.4 T=0 的异步半双工字符传输协议 | 第37页 |
| 3.1.5 T=1 的异步半双工块传输协议 | 第37页 |
| 3.1.6 数据块结构 | 第37-38页 |
| 3.2 本章小结 | 第38-39页 |
| 第四章 验证功能点分析及验证平台搭建 | 第39-81页 |
| 4.1 功能点分析 | 第39-42页 |
| 4.1.1 时钟分频功能 | 第40页 |
| 4.1.2 复位功能 | 第40-41页 |
| 4.1.3 中断功能 | 第41页 |
| 4.1.4 系统信号对7816接口的控制功能 | 第41-42页 |
| 4.1.5 7816接口数据传输功能 | 第42页 |
| 4.2 验证点提取 | 第42-45页 |
| 4.3 平台的基本架构 | 第45-52页 |
| 4.3.1 平台的搭建思想 | 第45-47页 |
| 4.3.2 top层nfcsim_top | 第47页 |
| 4.3.3 验证用例case | 第47-48页 |
| 4.3.4 nfcsim_tb | 第48-49页 |
| 4.3.5 配置文件nfcsim_config | 第49页 |
| 4.3.6 virtual_sequencer和virtual_sequence | 第49-50页 |
| 4.3.7 寄存器模型reg_model | 第50-52页 |
| 4.4 sim卡的env层nfcsim_env | 第52-55页 |
| 4.4.1 sim卡的顶层监视器nfcsim_monitor | 第52-54页 |
| 4.4.2 配置文件config | 第54页 |
| 4.4.3 数据类型转换组件predictor与adapter | 第54-55页 |
| 4.5 apb总线组件apb_if_uvc | 第55-59页 |
| 4.5.1 transaction类型数据transfer | 第56页 |
| 4.5.2 apb的虚拟接口apb_if | 第56-57页 |
| 4.5.3 apb的配置文件config | 第57页 |
| 4.5.4 apb的数据收集组件collector | 第57-58页 |
| 4.5.5 apb的数据监视器monitor | 第58页 |
| 4.5.6 apb的env组件apb_env | 第58-59页 |
| 4.6 ahb总线组件ahb_if_uvc | 第59-67页 |
| 4.6.1 transaction类型数据transfer | 第60页 |
| 4.6.2 ahb的虚拟接口ahb_if | 第60-61页 |
| 4.6.3 ahb的配置文件config | 第61-62页 |
| 4.6.4 数据类型转换组件adapter | 第62-63页 |
| 4.6.5 ahb的数据收集组件collector | 第63-64页 |
| 4.6.6 ahb的数据监视器monitor | 第64页 |
| 4.6.7 激励驱动组件driver | 第64-65页 |
| 4.6.8 激励缓冲组件sequencer | 第65-66页 |
| 4.6.9 ahb的agent组件 | 第66页 |
| 4.6.10 ahb的env组件ahb_env | 第66页 |
| 4.6.11 sequence库sequence_lib | 第66-67页 |
| 4.7 7816接口组件sci7816_if_uvc | 第67-76页 |
| 4.7.1 7816的虚拟接口sci7816_if | 第68-69页 |
| 4.7.2 transaction类型数据frame | 第69页 |
| 4.7.3 7816的配置文件config | 第69-70页 |
| 4.7.4 7816的sequence库seq_lib | 第70页 |
| 4.7.5 7816环境中的driver、rx_monitor、tx_monitor组件 | 第70-76页 |
| 4.7.6 7816的tx_agent和rx_agent组件 | 第76页 |
| 4.7.7 7816的env组件sci7816_env | 第76页 |
| 4.8 7816的数据比较组件sci7816_ctrl_uvc | 第76-80页 |
| 4.8.1 7816数据比较组件的配置文件config | 第77页 |
| 4.8.2 7816数据比较组件中的env | 第77页 |
| 4.8.3 7816数据比较组件的数据监视器monitor | 第77-79页 |
| 4.8.4 计分板scoreboard | 第79-80页 |
| 4.9 本章小结 | 第80-81页 |
| 第五章 结果分析和说明 | 第81-93页 |
| 5.1 功能验证结果及分析 | 第81-89页 |
| 5.1.1 时钟分频功能 | 第81页 |
| 5.1.2 复位功能 | 第81-82页 |
| 5.1.3 中断功能 | 第82-84页 |
| 5.1.4 系统信号对7816接口的控制功能 | 第84-86页 |
| 5.1.5 T=1 模式下的数据接收功能 | 第86-87页 |
| 5.1.6 T=0 模式下的数据校验及错误数据重传功能 | 第87-88页 |
| 5.1.7 波特率转换功能 | 第88-89页 |
| 5.2 覆盖率报告 | 第89-91页 |
| 5.3 本章小结 | 第91-93页 |
| 第六章 总结与展望 | 第93-95页 |
| 6.1 总结 | 第93页 |
| 6.2 展望 | 第93-95页 |
| 参考文献 | 第95-97页 |
| 致谢 | 第97-99页 |
| 作者简介 | 第99-100页 |
