基于Petri网的异步电路设计研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第一章 绪论 | 第9-14页 |
| ·课题研究的意义 | 第9-12页 |
| ·异步电路设计研究的意义 | 第9-11页 |
| ·基于Petri网的异步电路设计的研究意义 | 第11-12页 |
| ·课题研究内容 | 第12-13页 |
| ·论文结构安排 | 第13-14页 |
| 第二章 异步电路设计方法研究 | 第14-38页 |
| ·异步电路和同步电路的异同 | 第14-16页 |
| ·异步电路基本理论与分类 | 第16-19页 |
| ·异步电路结构分类 | 第19-27页 |
| ·有限延时模型 | 第20-22页 |
| ·微流水线电路 | 第22-23页 |
| ·延时无关电路 | 第23-24页 |
| ·速度无关电路和准延时无关 | 第24-25页 |
| ·自同步电路模型 | 第25-26页 |
| ·小结 | 第26-27页 |
| ·异步时序电路基本通信模式和设计 | 第27-38页 |
| ·异步电路通信方式 | 第27-32页 |
| ·异步电路设计的几种常用方法 | 第32-38页 |
| 第三章 Petri网在异步电路设计中的应用 | 第38-58页 |
| ·Petri网理论基础 | 第38-46页 |
| ·Petri网简介 | 第38-40页 |
| ·Petri网的基本定义 | 第40-42页 |
| ·Petri网的基本性质 | 第42-45页 |
| ·Petri网的分析方法 | 第45-46页 |
| ·Petri网运用于异步电路 | 第46-52页 |
| ·应用情况 | 第46-47页 |
| ·Petri网运用于异步电路设计 | 第47-52页 |
| ·异步电路设计工具 | 第52-58页 |
| ·综合设计平台 | 第52-53页 |
| ·仿真软件 | 第53-54页 |
| ·其它的设计工具 | 第54页 |
| ·逻辑综合 | 第54-56页 |
| ·前端设计软件 | 第56页 |
| ·形式验证 | 第56-58页 |
| 第四章 基于STG和Petrify的异步电路设计 | 第58-77页 |
| ·STG的基本性质 | 第58-60页 |
| ·构建STG的基本模块以及实例 | 第60-64页 |
| ·基本模块 | 第60-61页 |
| ·使用STG描述典型异步电路的例子 | 第61-64页 |
| ·STG的综合过程 | 第64-77页 |
| ·Petrify工具介绍 | 第65-66页 |
| ·一个2位缓冲器电路的实现 | 第66-70页 |
| ·二三(2 out of 3)仲裁器电路实现 | 第70-74页 |
| ·四相数据捆绑锁存器的控制电路 | 第74-77页 |
| 第五章 结论与展望 | 第77-78页 |
| 致谢 | 第78-79页 |
| 参考文献 | 第79-83页 |
| 在校期间发表论文 | 第83页 |
