| 摘要 | 第5-7页 |
| abstract | 第7-8页 |
| 第一章 绪论 | 第11-22页 |
| 1.1 问题定义及其研究意义 | 第11-13页 |
| 1.2 国内外研究现状 | 第13-18页 |
| 1.2.1 布尔函数NPN等价分类研究现状 | 第13-14页 |
| 1.2.2 布尔函数NPN等价匹配研究现状 | 第14-18页 |
| 1.3 本文的研究内容及创新点 | 第18-20页 |
| 1.4 论文结构安排 | 第20-22页 |
| 第二章 布尔函数NPN等价分类及等价匹配的基础知识 | 第22-34页 |
| 2.1 Pólya定理介绍 | 第22-26页 |
| 2.1.1 置换群 | 第22-24页 |
| 2.1.2 等价关系与等价类 | 第24-25页 |
| 2.1.3 Burnside引理介绍 | 第25页 |
| 2.1.4 P′olya定理 | 第25-26页 |
| 2.2 布尔函数的表示形式 | 第26-28页 |
| 2.3 布尔函数NPN等价介绍 | 第28-33页 |
| 2.3.1 非门输入 | 第28-29页 |
| 2.3.2 置换输入 | 第29-30页 |
| 2.3.3 NP变换 | 第30-31页 |
| 2.3.4 布尔函数NPN等价 | 第31-33页 |
| 2.4 本章小结 | 第33-34页 |
| 第三章 基于群代数的布尔函数NPN等价分类研究 | 第34-49页 |
| 3.1 置换映射 | 第34-36页 |
| 3.2 非映射 | 第36-38页 |
| 3.3 布尔函数NPN等价分类 | 第38-43页 |
| 3.4 布尔函数NPN等价分类结果 | 第43-48页 |
| 3.5 本章小结 | 第48-49页 |
| 第四章 基于结构化特征的布尔函数NPN等价匹配算法 | 第49-76页 |
| 4.1 基本概念与问题陈述 | 第49-56页 |
| 4.1.1 基本概念 | 第49-51页 |
| 4.1.2 变量映射 | 第51-53页 |
| 4.1.3 变量对称 | 第53-56页 |
| 4.2 基于SS向量的布尔函数NPN等价匹配算法 | 第56-68页 |
| 4.2.1 SS向量更新 | 第56-58页 |
| 4.2.2 搜索变量映射 | 第58-61页 |
| 4.2.3 NP变换探测 | 第61-64页 |
| 4.2.4 匹配算法 | 第64-68页 |
| 4.3 实验结果及分析 | 第68-75页 |
| 4.4 本章小结 | 第75-76页 |
| 第五章 基于结构化布尔差分特征的布尔函数NPN等价匹配算法 | 第76-92页 |
| 5.1 Shannon余子式的运算 | 第76-78页 |
| 5.2 结构化差分特征 | 第78-81页 |
| 5.2.1 独立变量 | 第78-79页 |
| 5.2.2 结构化差分特征向量 | 第79-81页 |
| 5.3 基于SDS的布尔函数NPN等价匹配算法 | 第81-88页 |
| 5.4 实验结果及分析 | 第88-90页 |
| 5.5 本章小结 | 第90-92页 |
| 第六章 一种基于正规式的布尔函数NPN等价匹配算法 | 第92-111页 |
| 6.1 特征与特征向量 | 第92-93页 |
| 6.2 基于特征向量的正规式 | 第93-96页 |
| 6.2.1 DC特征 | 第93-94页 |
| 6.2.2 DC特征的排序 | 第94-95页 |
| 6.2.3 DC特征向量 | 第95-96页 |
| 6.3 基于正规式的布尔函数NPN等价匹配 | 第96-107页 |
| 6.3.1 正规式介绍 | 第96-97页 |
| 6.3.2 本文提出的正规式 | 第97-99页 |
| 6.3.3 正规式的计算 | 第99-101页 |
| 6.3.4 候选正规变换的搜索 | 第101-107页 |
| 6.4 实验结果及分析 | 第107-110页 |
| 6.5 本章小结 | 第110-111页 |
| 第七章 总结与展望 | 第111-114页 |
| 7.1 论文的主要工作 | 第111-112页 |
| 7.2 后续工作展望 | 第112-114页 |
| 致谢 | 第114-115页 |
| 参考文献 | 第115-125页 |
| 攻读博士学位期间取得的研究成果 | 第125页 |
