基于FPGA的智能卡芯片验证方法研究与实现
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第1章 绪论 | 第8-13页 |
| ·课题背景 | 第8-11页 |
| ·集成电路验证概述 | 第8页 |
| ·FPGA 验证技术 | 第8-9页 |
| ·智能卡发展现状 | 第9-11页 |
| ·课题的来源与研究意义 | 第11页 |
| ·论文主要工作及结构 | 第11-13页 |
| 第2章 智能卡工作原理 | 第13-28页 |
| ·智能卡的组成 | 第13-14页 |
| ·接触式智能卡的工作原理 | 第14-18页 |
| ·电气特性 | 第14-15页 |
| ·传输协议 | 第15-18页 |
| ·应用层传输 | 第18页 |
| ·非接触智能卡的工作原理 | 第18-26页 |
| ·射频接口 | 第18-20页 |
| ·A 类卡调制与编码方式 | 第20-21页 |
| ·状态转换 | 第21-23页 |
| ·防冲突 | 第23-26页 |
| ·双界面智能卡的工作原理 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第3章 基于FPGA 的智能卡原形平台 | 第28-41页 |
| ·FPGA 原形平台 | 第28页 |
| ·FPGA 的选型 | 第28-29页 |
| ·模拟前端电路的设计 | 第29-33页 |
| ·数字逻辑在FPGA 上的移植 | 第33-39页 |
| ·存储器的移植 | 第33-34页 |
| ·I/O 的移植 | 第34-35页 |
| ·时钟移植 | 第35-37页 |
| ·IP 核的移植 | 第37-38页 |
| ·综合与布局布线 | 第38-39页 |
| ·本章小结 | 第39-41页 |
| 第4章 接触式模式验证方法 | 第41-51页 |
| ·验证内容 | 第41-42页 |
| ·验证工具介绍 | 第42-43页 |
| ·验证方法及实现 | 第43-50页 |
| ·复位 | 第43-45页 |
| ·异步传输 | 第45-46页 |
| ·检错和重发 | 第46-48页 |
| ·应用命令 | 第48-50页 |
| ·本章小结 | 第50-51页 |
| 第5章 非接触式模式验证方法 | 第51-60页 |
| ·验证内容 | 第51页 |
| ·验证工具介绍 | 第51-52页 |
| ·验证方法及实现 | 第52-59页 |
| ·初始化 | 第52-53页 |
| ·防冲突 | 第53-56页 |
| ·状态转换 | 第56-59页 |
| ·本章小结 | 第59-60页 |
| 第6章 系统应用中的测试与分析 | 第60-68页 |
| ·智能卡操作系统概述 | 第60-61页 |
| ·智能卡生存周期 | 第61-62页 |
| ·小额支付应用测试 | 第62-65页 |
| ·个人化 | 第62-63页 |
| ·充值 | 第63-64页 |
| ·消费 | 第64-65页 |
| ·测试结果与分析 | 第65-66页 |
| ·本章小结 | 第66-68页 |
| 结论 | 第68-71页 |
| 参考文献 | 第71-75页 |
| 攻读硕士学位期间所发表的学术论文 | 第75-76页 |
| 致谢 | 第76页 |
