多输出函数逻辑综合的理论研究与程序实现
| 表目录 | 第1-6页 |
| 图目录 | 第6-7页 |
| 摘要 | 第7-8页 |
| ABSTRACT | 第8-9页 |
| 第一章 绪论 | 第9-13页 |
| ·课题背景 | 第9-10页 |
| ·研究现状 | 第10-11页 |
| ·有待解决得问题 | 第11页 |
| ·论文的结构 | 第11-12页 |
| ·本章小结 | 第12-13页 |
| 第二章 逻辑综合的基本内容和方法 | 第13-21页 |
| ·逻辑综合的基本原理与主要功能 | 第13-14页 |
| ·逻辑综合的基本原理 | 第13页 |
| ·逻辑综合的主要功能 | 第13-14页 |
| ·逻辑综合理论的相关定义和原子算法 | 第14-17页 |
| ·逻辑综合理论的相关定义 | 第14-16页 |
| ·逻辑综合理论的原子算法 | 第16-17页 |
| ·逻辑综合算法的分类及常用算法的选择和比较 | 第17-21页 |
| ·逻辑综合算法的分类 | 第17-19页 |
| ·常用算法的比较和选择 | 第19-21页 |
| 第三章 改进的多输出函数逻辑综合启发式算法 | 第21-38页 |
| ·算法涉及到的定义 | 第21-23页 |
| ·常用符号 | 第21页 |
| ·封锁矩阵个覆盖矩阵 | 第21-22页 |
| ·算法所涉及到的其它定义 | 第22-23页 |
| ·算法涉及到的定理 | 第23-27页 |
| ·算法的整体架构 | 第27-28页 |
| ·核心算法的描述和分析 | 第28-37页 |
| ·预处理算法 | 第29-30页 |
| ·近似最小覆盖生成算法 | 第30-33页 |
| ·DC项删除算法 | 第33-37页 |
| ·本章小结 | 第37-38页 |
| 第四章 理论研究和程序实现中的问题与解决 | 第38-48页 |
| ·数据结构的选择 | 第38-39页 |
| ·预处理算法的研究和改进 | 第39-43页 |
| ·预处理算法的可行性指标 | 第39-40页 |
| ·预处理算法的选择 | 第40-41页 |
| ·对预处理算法的分析 | 第41页 |
| ·程序实现过程中的问题与解决 | 第41-43页 |
| ·初始化与化简算法 | 第43-44页 |
| ·对初始化与化简算法的分析 | 第43页 |
| ·程序实现过程中的问题与解决 | 第43-44页 |
| ·DC项删除操作的研究与实现 | 第44-46页 |
| ·DC项删除操作的原理 | 第44-45页 |
| ·DC项删除操作执行机制的选择 | 第45-46页 |
| ·本章小结 | 第46-48页 |
| 第五章 系统测试与分析 | 第48-51页 |
| ·测试环境 | 第48页 |
| ·Benchmark测试 | 第48-49页 |
| ·子程序模块测试 | 第49-50页 |
| ·本章小结 | 第50-51页 |
| 结束语 | 第51-53页 |
| 参考文献 | 第53-56页 |
| 作者简历 | 第56-57页 |
| 致谢 | 第57页 |
