| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 第1章 引言 | 第7-13页 |
| 1.1 现代集成电路的发展现状 | 第7-8页 |
| 1.2 EDA工具中的重要地位 | 第8-10页 |
| 1.3 逻辑综合与函数分类 | 第10-11页 |
| 1.4 本文工作 | 第11-12页 |
| 1.5 本文组织结构 | 第12-13页 |
| 第2章 研究背景与前人工作 | 第13-27页 |
| 2.1 基本知识 | 第13-18页 |
| 2.1.1 布尔函数 | 第13-14页 |
| 2.1.2 布尔网络 | 第14-16页 |
| 2.1.3 NPN(Negation-Permutation-Negation)类 | 第16-18页 |
| 2.2 布尔函数的配置 | 第18-21页 |
| 2.2.1 布尔函数配置的概要 | 第18-19页 |
| 2.2.2 NPN基础算法：字符串的按位比较 | 第19-20页 |
| 2.2.3 满足度(Satisfy Counts) | 第20-21页 |
| 2.2.4 行/列和(Row/Column Sums) | 第21页 |
| 2.3 关于计算NPN归一化形式的传统算法 | 第21-27页 |
| 2.3.1 减少配置 | 第22-24页 |
| 2.3.2 减少对称组 | 第24-27页 |
| 第3章 基于NPN的快速函数分类算法 | 第27-47页 |
| 3.1 基础知识 | 第29-32页 |
| 3.2 函数分类器的实现 | 第32-45页 |
| 3.2.1 步骤1：用1的个数排序变量并以对称组对变量进行划分 | 第33-39页 |
| 3.2.2 步骤2：对tie组中的对称组进行排序 | 第39-41页 |
| 3.2.3 步骤3：对tie组中的高阶对称组进行穷举以确定配置 | 第41-45页 |
| 3.3 函数分类器的实际应用说明 | 第45-47页 |
| 第4章 函数分类器的实验结果展示与分析 | 第47-63页 |
| 4.1 函数分类器的三个步骤实验结果之间对比 | 第47-55页 |
| 4.2 与前人工作的实验结果对比 | 第55-59页 |
| 4.3 在工艺映射(mapping)中使用本文提出的函数分类器 | 第59-60页 |
| 4.4 小结 | 第60-63页 |
| 第5章 总结与展望 | 第63-65页 |
| 5.1 工作总结 | 第63-64页 |
| 5.2 未来工作的展望 | 第64-65页 |
| 参考文献 | 第65-68页 |
| 致谢 | 第68-69页 |
| 攻读学位期间的科研成果 | 第69-70页 |
