布尔过程论及其在复杂高速芯片设计自动化应用中的研究
| 第1章 绪论 | 第1-38页 |
| ·课题的研究意义 | 第10-11页 |
| ·EDA工具的发展 | 第11-14页 |
| ·布尔过程论的发展现状 | 第14-28页 |
| ·布尔过程论的理论现状 | 第15-23页 |
| ·布尔过程论的应用现状 | 第23-28页 |
| ·相关EDA理论模型的发展现状 | 第28-36页 |
| ·基于布尔代数的定时模型现状 | 第28-30页 |
| ·布尔函数的表示和运算工具BDD的发展现状 | 第30-32页 |
| ·异步时序逻辑的发展现状 | 第32-33页 |
| ·逻辑与延时理论融合的其他工作现状 | 第33-36页 |
| ·本文的主要内容与结构安排 | 第36-38页 |
| 第2章 布尔过程论的理论拓展 | 第38-54页 |
| ·WFP偏导概念及偏导定义的敏化冒险概念 | 第38-40页 |
| ·WFP向量概念 | 第40-41页 |
| ·时序电路的敏化定理 | 第41-42页 |
| ·WFP对跳变的描述定理 | 第42-43页 |
| ·同步时序电路的WFP描述模型 | 第43-45页 |
| ·WFP的多项式符号表示与符号运算模型 | 第45-53页 |
| ·本章小结 | 第53-54页 |
| 第3章 基于布尔过程论的组合电路延时分析方法 | 第54-67页 |
| ·引言 | 第54-55页 |
| ·改进的解析延时模型 | 第55-56页 |
| ·子电路的延时矩阵 | 第56-59页 |
| ·基于延时矩阵的层次化延时分析 | 第59-62页 |
| ·实验结果 | 第62-65页 |
| ·实验软件系统的建立 | 第62-63页 |
| ·实验结果与分析 | 第63-65页 |
| ·本章小结 | 第65-67页 |
| 第4章 基于布尔过程论的时序电路精确定时方法 | 第67-79页 |
| ·引言 | 第67页 |
| ·基于单周期敏化的精确最小时钟周期确定方法 | 第67-71页 |
| ·多周期敏化的精确定时方法 | 第71-75页 |
| ·实验结果 | 第75-77页 |
| ·本章小结 | 第77-79页 |
| 第5章 基于布尔过程论的VDSM测试生成方法 | 第79-91页 |
| ·引言 | 第79-80页 |
| ·噪声预测方法 | 第80-86页 |
| ·用WFP描述最大跳变数 | 第81-83页 |
| ·最大跳变个数的求解 | 第83-85页 |
| ·最大跳变数的求解实验 | 第85-86页 |
| ·考虑噪声效应的测试生成方法 | 第86-88页 |
| ·实验结果 | 第88-89页 |
| ·本章小结 | 第89-91页 |
| 第6章 基于布尔过程论的综合和验证方法基础研究 | 第91-103页 |
| ·引言 | 第91-92页 |
| ·波形多项式的字级多项式表示和运算 | 第92-95页 |
| ·一元多项式的符号表示和运算 | 第95-97页 |
| ·不连续性的检测和不连续性函数的多项式实现 | 第97-98页 |
| ·近似字级多项式的表示与近似误差计算 | 第98-99页 |
| ·实验结果 | 第99-101页 |
| ·本章小结 | 第101-103页 |
| 结论 | 第103-106页 |
| 参考文献 | 第106-119页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第119-121页 |
| 致谢 | 第121页 |
