| 致谢 | 第1-7页 |
| 摘要 | 第7-9页 |
| Abstract | 第9-14页 |
| 第1章 绪论 | 第14-19页 |
| ·课题背景 | 第14-15页 |
| ·RM函数逻辑综合与优化研究现状 | 第15-17页 |
| ·研究内容安排 | 第17-19页 |
| 第2章 与RM函数逻辑综合有关的基本概念和运算 | 第19-32页 |
| ·基本术语 | 第19-20页 |
| ·逻辑函数的立方体运算 | 第20-23页 |
| ·立方体的相交运算 | 第21-22页 |
| ·逻辑覆盖及其运算 | 第22-23页 |
| ·“异或”运算定义和性质 | 第23-24页 |
| ·“异或”运算定义 | 第23-24页 |
| ·“异或”运算的基本性质 | 第24页 |
| ·逻辑函数的RM展开 | 第24-25页 |
| ·RM函数的极性及其在函数综合中的应用 | 第25-27页 |
| ·RM函数的固定极性表示 | 第25-26页 |
| ·RM函数的混合极性表示 | 第26-27页 |
| ·积之和式与RM展开之间的转化 | 第27-28页 |
| ·RM函数的图形表示 | 第28-30页 |
| ·逻辑函数的PLA表示形式 | 第30-31页 |
| ·本章小结 | 第31-32页 |
| 第3章 二级混合极性下RM函数的逻辑综合 | 第32-58页 |
| ·引言 | 第32-35页 |
| ·乘积项的位操作算子 | 第35-40页 |
| ·不相交乘积项生成算法 | 第40-42页 |
| ·多数覆盖技术在混合极性RM函数逻辑综合中的应用 | 第42-57页 |
| ·多数覆盖逻辑综合原理 | 第43-46页 |
| ·基于不相交乘积项的多数覆盖搜索方法 | 第46-49页 |
| ·多数覆盖的拆分 | 第49-52页 |
| ·多数覆盖技术在MPRM逻辑综合中的不足及改进 | 第52-54页 |
| ·实验结果和分析 | 第54-57页 |
| ·本章小结 | 第57-58页 |
| 第4章 多级混合极性下RM函数的逻辑综合 | 第58-97页 |
| ·引言 | 第58-59页 |
| ·基于真值矢量的多级混合极性RM函数逻辑综合算法 | 第59-68页 |
| ·固定极性RM函数的真值矢量表示 | 第59-60页 |
| ·真值矢量的基本运算 | 第60-62页 |
| ·基于真值矢量的多级混合极性RM函数逻辑综合算法 | 第62-66页 |
| ·实验结果及其分析 | 第66-68页 |
| ·基于onset表的多级混合极性RM函数逻辑综合算法 | 第68-84页 |
| ·RM表达式的onset表的对应关系及其性质 | 第69-77页 |
| ·基于onset表的局部公共变量提取方法 | 第77-80页 |
| ·采用onset表的多级混合极性RM函数的综合算法 | 第80-82页 |
| ·实验结果及分析 | 第82-84页 |
| ·基于onset表的MMPRM逻辑综合算法的进一步改进 | 第84-95页 |
| ·公共变量搜索方法的改进 | 第84-89页 |
| ·多输出多级混合极性RM函数逻辑综合 | 第89-92页 |
| ·实验结果和分析 | 第92-95页 |
| ·本章小结 | 第95-97页 |
| 第5章 RM逻辑在电路双逻辑综合中的应用 | 第97-130页 |
| ·引言 | 第97-99页 |
| ·已有一些逻辑探测算法的分析 | 第99-102页 |
| ·基于不相交项的逻辑搜索和拆分方法 | 第102-104页 |
| ·基于不相交乘积项的逻辑搜索和拆分实验结果及分析 | 第104-108页 |
| ·基于多数覆盖的逻辑搜索和拆分算法 | 第108-120页 |
| ·适合RM逻辑实现的多数覆盖搜索及算法 | 第108-116页 |
| ·位操作在适合RM逻辑实现的逻辑覆盖搜索中的应用 | 第116-117页 |
| ·适合RM逻辑实现的逻辑拆分方法 | 第117-118页 |
| ·实验结果及分析 | 第118-120页 |
| ·逻辑电路的双逻辑综合 | 第120-125页 |
| ·基于不相交乘积项的双逻辑综合算法 | 第121-123页 |
| ·实验结果和分析 | 第123-125页 |
| ·逻辑函数综合后的功能验证 | 第125-128页 |
| ·本章小结 | 第128-130页 |
| 第6章 总结与展望 | 第130-136页 |
| ·研究总结 | 第130-134页 |
| ·后继研究工作展望 | 第134-136页 |
| 参考文献 | 第136-144页 |
| 作者简历 | 第144页 |
| 作者攻读博士期间发表的与本博士论文有关论文 | 第144-145页 |
| 作者攻读博士期间主持和参与的与本博士论文有关的项目 | 第145-146页 |
| 附录 | 第146-158页 |
