| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 第一章 绪论 | 第6-12页 |
| ·验证的意义 | 第6页 |
| ·验证的概念 | 第6-8页 |
| ·Tag芯片 | 第8-10页 |
| ·论文主要工作及章节安排 | 第10-12页 |
| 第二章 EPC Gen2 接口协议 | 第12-32页 |
| ·标签选择、盘存和访问 | 第12-27页 |
| ·R=>T 数据编码 | 第27-28页 |
| ·T=>R 数据编码 | 第28-32页 |
| 第三章 功能验证平台设计 | 第32-38页 |
| ·功能验证 | 第32-34页 |
| ·功能验证方法 | 第34页 |
| ·验证平台的设计 | 第34-36页 |
| ·被验证对象 | 第36-38页 |
| 第四章 PLI接口程序设计 | 第38-56页 |
| ·PLI接口语言 | 第38-43页 |
| ·PLI接口程序设计 | 第43-56页 |
| 第五章 验证平台的搭建 | 第56-68页 |
| ·Testbench | 第56-59页 |
| ·参考模型 | 第59-63页 |
| ·比较器 | 第63-64页 |
| ·Reader | 第64-65页 |
| ·标签存储器 | 第65-66页 |
| ·验证平台的应用 | 第66-67页 |
| ·验证结果 | 第67-68页 |
| 第六章 结束语 | 第68-69页 |
| 致谢 | 第69-70页 |
| 参考文献 | 第70-73页 |