数字电路并发行为的STE验证方法
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第一章 引言 | 第8-11页 |
| ·研究背景 | 第8-9页 |
| ·主要工作及意义 | 第9页 |
| ·本文组织 | 第9-11页 |
| 第二章 STE验证方法 | 第11-20页 |
| ·提出背景 | 第11-12页 |
| ·STE验证方法 | 第12-16页 |
| ·电路模型 | 第12-14页 |
| ·验证规范 | 第14-15页 |
| ·验证过程 | 第15-16页 |
| ·符号处理技术 | 第16-19页 |
| ·二叉判定图 | 第17-18页 |
| ·三值逻辑编码 | 第18-19页 |
| ·优点与不足 | 第19-20页 |
| 第三章 STE验证规范的图形化 | 第20-22页 |
| ·断言图 | 第20页 |
| ·基于断言图的验证算法 | 第20-22页 |
| 第四章 基于进程代数的并发系统刻画 | 第22-34页 |
| ·进程代数 | 第22-24页 |
| ·进程代数简介 | 第22-23页 |
| ·进程代数的语法 | 第23-24页 |
| ·并发模型的建立 | 第24-32页 |
| ·事件结构模型 | 第24-25页 |
| ·事件结构的表示 | 第25-26页 |
| ·基于事件结构的操作 | 第26-32页 |
| ·语言到模型的转化 | 第32-34页 |
| 第五章 验证流程 | 第34-40页 |
| ·从并发模型中获得断言图 | 第34-37页 |
| ·事件结构与断言图的比较 | 第34页 |
| ·事件结构的行为 | 第34-37页 |
| ·并发行为验证的框图 | 第37-38页 |
| ·实例研究 | 第38-40页 |
| 第六章 动作细化的应用 | 第40-43页 |
| ·动作细化概述 | 第40-41页 |
| ·动作细化的分类 | 第41-42页 |
| ·算子和非算子的观点 | 第41页 |
| ·原子和非原子的观点 | 第41页 |
| ·语法和语义的观点 | 第41-42页 |
| ·各种观点的比较 | 第42-43页 |
| 第七章 结论与进一步工作 | 第43-44页 |
| 参考文献 | 第44-47页 |
| 在校期间参与项目和发表论文情况 | 第47-48页 |
| 致谢 | 第48页 |
