| 第1章 绪论 | 第1-36页 |
| 1．1 课题的研究意义 | 第11-12页 |
| 1．2 布尔过程论及其发展 | 第12-19页 |
| 1．2．1 布尔过程论的形成 | 第12-19页 |
| 1．2．2 布尔过程论的发展 | 第19页 |
| 1．3 时变布尔函数的理论基础 | 第19-26页 |
| 1．3．1 基本理论概念 | 第19-21页 |
| 1．3．2 二值信号的表示以及时态行为的模拟 | 第21-24页 |
| 1．3．3 电路的TBF描述及事件属性 | 第24-26页 |
| 1．4 高层次综合 | 第26-34页 |
| 1．4．1 高层次综合的概念 | 第26-27页 |
| 1．4．2 高层次综合的内容 | 第27-29页 |
| 1．4．4 高层次综合中的设计空间搜索 | 第29页 |
| 1．4．5 高层次综合中的各种算法 | 第29-34页 |
| 1．5 本文的主要内容及结构安排 | 第34-36页 |
| 第2章 调度与分配问题的计算复杂性理论基础 | 第36-49页 |
| 2．1 引言 | 第36-37页 |
| 2．2 图灵机 | 第37-39页 |
| 2．3 P类与NP类 | 第39-42页 |
| 2．3．1 非确定性图灵机 | 第39-40页 |
| 2．3．2 k-团问题是NP类语言识别问题 | 第40-41页 |
| 2．3．3 团划分问题是典型的NP—完全问题 | 第41-42页 |
| 2．4 操作与单元分配模型 | 第42-46页 |
| 2．4．1 操作调度模型 | 第42-44页 |
| 2．4．2 单元分配模型 | 第44-46页 |
| 2．5 近似计算方法 | 第46-48页 |
| 2．6 本章小结 | 第48-49页 |
| 第3章 高层次综合中的互连单元分配算法研究 | 第49-59页 |
| 3．1 互连单元分配概述 | 第49-50页 |
| 3．2 数据通路连接图的表示模型及分析 | 第50-55页 |
| 3．2．1 问题的分析 | 第50-51页 |
| 3．2．2 数据通路连接图的表示模型 | 第51-55页 |
| 3．3 IU—ALLOCATION算法描述 | 第55-57页 |
| 3．4 应用实例 | 第57页 |
| 3．5 本章小结 | 第57-59页 |
| 第4章 基于演化程序的数据通路综合算法研究及应用 | 第59-72页 |
| 4．1 演化计算的基本概念 | 第59-61页 |
| 4．2 高层次综合中的演化算法 | 第61-63页 |
| 4．3 演化程序综合算法 | 第63-68页 |
| 4．3．1 演化程序综合算法的模型 | 第64页 |
| 4．3．2 染色体编码 | 第64-65页 |
| 4．3．3 演化程序综合算法的形式化定义和参数设定 | 第65-67页 |
| 4．3．4 演化程序综合算法 | 第67-68页 |
| 4．4 应用实例及实验结果 | 第68-71页 |
| 4．5 本章小结 | 第71-72页 |
| 第5章 布尔过程与时变布尔函数的比较 | 第72-86页 |
| 5．1 引言 | 第72-73页 |
| 5．2 时变布尔函数用于精确时延计算 | 第73-74页 |
| 5．3 布尔过程用于电路的精确时延计算 | 第74-76页 |
| 5．4 两种时延分析方法的比较 | 第76-83页 |
| 5．4．1 使用TBF中的2-向量时延计算 | 第76-77页 |
| 5．4．2 使用TBF的系列向量时延计算模型 | 第77-81页 |
| 5．4．3 用布尔过程的通路敏化方法得到的电路时延 | 第81-83页 |
| 5．5 布尔过程论计算通路敏化的计算复杂性分析 | 第83-85页 |
| 5．6 本章小结 | 第85-86页 |
| 第6章 OBDD最小化进展分析 | 第86-101页 |
| 6．1 引言 | 第86-87页 |
| 6．2 OBDD相关基本概念的介绍 | 第87-88页 |
| 6．3 确切OBDD算法 | 第88-95页 |
| 6．3．1 Steven确切OBDD最小化算法 | 第89-91页 |
| 6．3．2 快速OBDD最小化 | 第91-93页 |
| 6．3．3 多下界结合的确切OBDD最小化算法 | 第93-95页 |
| 6．4 启发式OBDD最小化算法 | 第95-97页 |
| 6．5 FBDD综述 | 第97-100页 |
| 6．5．1 FBDD的提出 | 第97页 |
| 6．5．2 FBDD初步介绍 | 第97-98页 |
| 6．5．3 确切FBDD最小化算法 | 第98-100页 |
| 6．5．4 启发式FBDD最小化算法 | 第100页 |
| 6．6 本章小结 | 第100-101页 |
| 结论 | 第101-103页 |
| 参考文献 | 第103-112页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第112-114页 |
| 致谢 | 第114-115页 |
| 个人简历 | 第115页 |