基于PSA和有限域理论的高级综合研究
| 摘要 | 第1-7页 |
| Abstract | 第7-12页 |
| 第1章 绪论 | 第12-21页 |
| ·课题的研究背景 | 第12-15页 |
| ·高级综合研究内容 | 第15-18页 |
| ·调度算法 | 第17-18页 |
| ·分配/绑定算法 | 第18页 |
| ·EDA理论模型发展现状 | 第18-20页 |
| ·本文的主要内容与结构安排 | 第20-21页 |
| 第2章 基础理论 | 第21-42页 |
| ·高级综合与测试技术综述 | 第21-31页 |
| ·基于单目标的高级综合 | 第21-23页 |
| ·基于多目标的高级综合 | 第23-24页 |
| ·基于新模型的高级综合 | 第24页 |
| ·高级综合工具的发展 | 第24-25页 |
| ·数字 VLSI测试技术 | 第25-31页 |
| ·多项式符号代数与有限域理论 | 第31-40页 |
| ·多项式符号表示和运算 | 第31-33页 |
| ·Gr(o|¨)bner基理论 | 第33-38页 |
| ·有限域理论 | 第38-40页 |
| ·本章小结 | 第40-42页 |
| 第3章 基于PSA的可测性综合方法 | 第42-61页 |
| ·引言 | 第42页 |
| ·高层可测性分析方法 | 第42-44页 |
| ·基于 PSA的高层次可测性分析方法 | 第44-52页 |
| ·基于 PSA可测性分析流程 | 第44-45页 |
| ·关键路径敏化 | 第45-46页 |
| ·利用关键路径的PSA建模 | 第46-48页 |
| ·HLTA-PSA可测性计算与分析 | 第48-51页 |
| ·实验分析 | 第51-52页 |
| ·可测结构电路的多项式描述 | 第52-56页 |
| ·基于 PSA的可测性综合算法 | 第56-60页 |
| ·可测性参数 | 第56-57页 |
| ·可测性调度规则 | 第57页 |
| ·基于 PSA的可测性综合算法 | 第57-58页 |
| ·实验结果 | 第58-60页 |
| ·本章小结 | 第60-61页 |
| 第4章 基于PSA的低功耗高级综合方法 | 第61-84页 |
| ·考虑低功耗的高级数据流综合方法 | 第61-71页 |
| ·Horner形式 | 第62-65页 |
| ·考虑布局的高级综合 | 第65-68页 |
| ·集成的调度/分配/绑定算法 | 第68-69页 |
| ·实现和实验结果 | 第69-71页 |
| ·考虑 PDP驱动的高级综合调度新方法 | 第71-78页 |
| ·引言 | 第71页 |
| ·基础知识 | 第71-74页 |
| ·考虑 PDP驱动的调度新方法 | 第74-76页 |
| ·基于遗传算法的新调度算法 | 第76-77页 |
| ·仿真实验及分析 | 第77-78页 |
| ·考虑多字长环境的低功耗综合方法 | 第78-83页 |
| ·多字长系统综合流程 | 第78-79页 |
| ·考虑多字长环境的集成综合算法 | 第79-81页 |
| ·实验分析 | 第81-83页 |
| ·本章小结 | 第83-84页 |
| 第5章 有限域上高级综合方法 | 第84-108页 |
| ·引言 | 第84页 |
| ·有限域代数 | 第84-87页 |
| ·有限域上各种算术操作 | 第85-87页 |
| ·有限域上高级综合方法 | 第87-107页 |
| ·有限域上基于算术变换的多项式电路优化 | 第88-96页 |
| ·有限域上多项式分解与库单元映射 | 第96-105页 |
| ·有限域上表达式控制技术 | 第105-107页 |
| ·本章小结 | 第107-108页 |
| 结论 | 第108-110页 |
| 参考文献 | 第110-122页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第122-123页 |
| 致谢 | 第123页 |
