高级综合中符号多项式方法的应用及接口综合
| 第1章 绪论 | 第1-22页 |
| ·数字系统设计自动化技术 | 第10-14页 |
| ·数字系统设计自动化技术的演变 | 第10-12页 |
| ·数字系统建模技术 | 第12页 |
| ·高层次综合技术 | 第12-14页 |
| ·SOC设计的特点 | 第14-16页 |
| ·SOC设计方法学的发展趋势 | 第16-19页 |
| ·课题的研究意义 | 第19-20页 |
| ·本文的主要内容及结构安排 | 第20-22页 |
| 第2章 符号代数理论 | 第22-30页 |
| ·符号计算机代数 | 第22-23页 |
| ·基本的可交换代数 | 第23-25页 |
| ·Grobner Basis理论 | 第25-28页 |
| ·本章小结 | 第28-30页 |
| 第3章 高级数据流综合 | 第30-50页 |
| ·相关工作 | 第32-33页 |
| ·Grobner Basis和数据路径综合 | 第33页 |
| ·符号代数和库映射 | 第33-35页 |
| ·低功耗设计 | 第35-36页 |
| ·改进的最小元件分解算法 | 第36-39页 |
| ·最小元件分解算法的例子 | 第38-39页 |
| ·最小功耗分解算法 | 第39-44页 |
| ·表达式控制技术 | 第44-48页 |
| ·树高缩减 | 第44-45页 |
| ·因子分解和展开 | 第45-46页 |
| ·Horner形式 | 第46-47页 |
| ·变量替换和消去 | 第47-48页 |
| ·实验结果 | 第48页 |
| ·本章小结 | 第48-50页 |
| 第4章 硬件元件的接口综合 | 第50-61页 |
| ·概述 | 第50-51页 |
| ·接口构架 | 第51-53页 |
| ·构架块 | 第51-52页 |
| ·通信体制 | 第52-53页 |
| ·状态机生成 | 第53-60页 |
| ·元件模型 | 第53页 |
| ·协议转换算法 | 第53-59页 |
| ·数据路径转换 | 第59-60页 |
| ·本章小结 | 第60-61页 |
| 结论 | 第61-62页 |
| 参考文献 | 第62-66页 |
| 攻读硕士学位期间发表的论文 | 第66-67页 |
| 致谢 | 第67页 |
