一种基于状态机的数字逻辑系统的功能验证方法
| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第1章 绪论 | 第11-15页 |
| ·功能验证的现状及其挑战 | 第11-13页 |
| ·课题内容和论文结构 | 第13-15页 |
| ·课题内容 | 第13-14页 |
| ·论文结构 | 第14-15页 |
| 第2章 基于有限状态机的功能验证 | 第15-20页 |
| ·有限状态机 | 第15-16页 |
| ·完备功能提取理论 | 第16-17页 |
| ·基于有限状态机的功能验证 | 第17-20页 |
| 第3章 状态机模型的建立与验证 | 第20-40页 |
| ·状态机模型的建立 | 第20-28页 |
| ·Stateflow简介 | 第20-21页 |
| ·Stateflow中状态机模型的建立 | 第21-28页 |
| ·状态机模型的验证 | 第28-40页 |
| ·Stateflow中状态机模型的特点 | 第28-29页 |
| ·FSM模型验证中功能提取理论的实现 | 第29-30页 |
| ·Stateflow中状态机模型验证的实现 | 第30-39页 |
| ·本节小结 | 第39-40页 |
| 第4章 RTL模型的功能验证 | 第40-55页 |
| ·基于仿真的验证方法 | 第40-46页 |
| ·仿真验证原理 | 第40-42页 |
| ·仿真验证实现 | 第42-46页 |
| ·RTL模型功能验证的实现 | 第46-55页 |
| ·RTL模型功能验证内容 | 第46-47页 |
| ·验证实现 | 第47-53页 |
| ·RTL模型验证总结 | 第53-55页 |
| 第5章 UART验证实现 | 第55-79页 |
| ·UART的功能规范 | 第55-59页 |
| ·异步串行通信原理 | 第55-56页 |
| ·自定义UART模块 | 第56-59页 |
| ·UART的FSM模型实现 | 第59-68页 |
| ·传输模块的FSM模型实现 | 第59-61页 |
| ·接收模块的FSM模型实现 | 第61-67页 |
| ·UART整体的FSM实现 | 第67-68页 |
| ·UART的RTL模型验证 | 第68-78页 |
| ·本章小结 | 第78-79页 |
| 结论 | 第79-81页 |
| 致谢 | 第81-82页 |
| 参考文献 | 第82-86页 |
| 附录 | 第86-105页 |
| 附录1 接收模块有输入加电测试向量 | 第86-87页 |
| 附录2 规范功能测试中事件序列的测试向量 | 第87-90页 |
| 附录3 无效输入测试向量 | 第90-94页 |
| 附录4 UART的高级测试平台源代码 | 第94-97页 |
| 附录5 UART的RTL模型源代码 | 第97-105页 |
| 攻读硕士学位期间发表的论文及参加的科研项目 | 第105页 |
