基于域操作的工艺映射系统
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·问题的提出 | 第7-8页 |
| ·国内外现状 | 第8-9页 |
| ·前人研究结果 | 第9页 |
| ·工作概要及章节安排 | 第9-11页 |
| 第二章 背景知识 | 第11-21页 |
| ·现场可编程门阵列及其结构 | 第11-14页 |
| ·现场可编程门阵列 | 第11页 |
| ·FPGA的结构 | 第11-12页 |
| ·查找表 | 第12-13页 |
| ·FPGA的特点和功能 | 第13-14页 |
| ·可编程门阵列的支持软件 | 第14-15页 |
| ·工艺映射 | 第15-19页 |
| ·问题描述 | 第15-16页 |
| ·映射过程 | 第16-19页 |
| ·布尔网络 | 第19-21页 |
| 第三章 最简有序二分决策图及其域操作 | 第21-29页 |
| ·最简有序二分决策图 | 第21-23页 |
| ·二叉决策图BDD的构造 | 第21-22页 |
| ·最简有序二叉决策图ROBDD的构造 | 第22-23页 |
| ·最简有序二叉决策图ROBDD的重排序 | 第23页 |
| ·基于ROBDD的域操作 | 第23-29页 |
| ·算术域操作 | 第24-25页 |
| ·布尔域操作 | 第25-29页 |
| 第四章 基于域操作的工艺映射算法 | 第29-45页 |
| ·基本概念 | 第29-31页 |
| ·本文提出的工艺映射算法DMAP | 第31-32页 |
| ·划分列举 | 第32-39页 |
| ·原有方法的缺陷 | 第32-33页 |
| ·本文提出的划分列举方法 | 第33-37页 |
| ·划分标记 | 第37-39页 |
| ·划分选择 | 第39-45页 |
| ·延迟最优的划分选择策略 | 第39-41页 |
| ·面积最优的划分选择策略 | 第41-45页 |
| 第五章 实验结果 | 第45-53页 |
| ·实验方法 | 第45-46页 |
| ·实验所用电路 | 第46-48页 |
| ·基于不同综合工具的比较及分析 | 第48-50页 |
| ·基于相同综合工具的比较及分析 | 第50-52页 |
| ·实验结论 | 第52-53页 |
| 第六章 结论 | 第53-54页 |
| 致谢 | 第54-55页 |
| 参考文献 | 第55-58页 |
| 在读期间的研究成果 | 第58-59页 |
