| 摘要 | 第1-8页 |
| ABSTRACT | 第8-10页 |
| 第1章 绪论 | 第10-23页 |
| ·研究背景 | 第10-15页 |
| ·系统级设计的需求 | 第10-11页 |
| ·系统级设计语言的发展 | 第11-12页 |
| ·系统级设计语言的设计能力 | 第12-13页 |
| ·代表性的系统级设计语言 | 第13-15页 |
| ·其他一些相关项目 | 第15页 |
| ·传统系统设计的缺陷 | 第15-21页 |
| ·传统系统设计语言缺少自省和反射能力 | 第15-18页 |
| ·传统系统设计采用了静态方法 | 第18-20页 |
| ·传统系统设计缺乏系统范围内统一综合框架 | 第20-21页 |
| ·本文的研究内容、主要贡献和创新点 | 第21-22页 |
| ·本文结构安排 | 第22-23页 |
| 第2章 动态系统设计 | 第23-39页 |
| ·动态系统设计概念 | 第23-28页 |
| ·动态系统设计的描述优势 | 第24-25页 |
| ·动态系统设计的验证优势 | 第25-27页 |
| ·动态系统设计的综合优势 | 第27页 |
| ·和谐统一的精炼、综合框架 | 第27-28页 |
| ·动态系统描述的定义和特性 | 第28-30页 |
| ·基于动态系统描述的设计流程 | 第30-31页 |
| ·动态系统设计的基础——动态语言 | 第31-33页 |
| ·动态语言的特性 | 第31-33页 |
| ·优秀的动态语言Python | 第33-35页 |
| ·Python的历史 | 第33页 |
| ·Python的应用 | 第33-34页 |
| ·Python的变体 | 第34页 |
| ·Python特点 | 第34-35页 |
| ·动态系统设计语言PDSL | 第35-38页 |
| ·PDSL采用的Python版本:Stackless Python | 第36-37页 |
| ·PDSL采用的第三方字节码处理工具包: Byteplay | 第37-38页 |
| ·本章要点总结 | 第38-39页 |
| 第3章 动态系统设计语言的描述实现 | 第39-49页 |
| ·展示特性的描述示例 | 第39-42页 |
| ·数据 | 第42-44页 |
| ·信号位(SigBit类) | 第42-43页 |
| ·信号(Sig类) | 第43-44页 |
| ·过程 | 第44-45页 |
| ·敏感列表 | 第45页 |
| ·过程标志 | 第45页 |
| ·容器(Box类) | 第45-47页 |
| ·模块(Mod类) | 第47页 |
| ·动态系统分析 | 第47-49页 |
| 第4章 动态系统设计语言仿真与验证的实现 | 第49-57页 |
| ·仿真时间 | 第49页 |
| ·仿真时间轴 | 第49-50页 |
| ·仿真引擎流程 | 第50-51页 |
| ·延时激活行为 | 第51页 |
| ·非阻塞赋值行为 | 第51-52页 |
| ·过程同步 | 第52-54页 |
| ·过程同步调用 | 第52-54页 |
| ·过程同步激活 | 第54页 |
| ·动态系统的持久性管理 | 第54-57页 |
| ·动态系统的Pickle | 第55页 |
| ·动态系统的unPickle | 第55-57页 |
| 第5章 动态系统的综合实现 | 第57-77页 |
| ·综合概述 | 第57-58页 |
| ·检视模块数据 | 第58-59页 |
| ·检视子模块实例 | 第59页 |
| ·检视模块过程 | 第59-75页 |
| ·过程属性的转化 | 第59-60页 |
| ·过程流程图的构成 | 第60-63页 |
| ·构造字节码节点序列 | 第63-65页 |
| ·重定位行号 | 第65-67页 |
| ·重定位跳转 | 第67-70页 |
| ·分析表达式 | 第70-73页 |
| ·压缩节点 | 第73-75页 |
| ·输出硬件语言描述的映射器 | 第75-77页 |
| 第6章 高级综合系统TRILOBITE | 第77-91页 |
| ·概述 | 第77-78页 |
| ·Trilobite系统设计流程 | 第78-80页 |
| ·行为准确处理器描述，BAPD | 第80-84页 |
| ·高级综合 | 第84-88页 |
| ·生成数据和控制依赖图 | 第84-85页 |
| ·优化数据和控制依赖图 | 第85页 |
| ·生成和优化逻辑操作 | 第85-86页 |
| ·指令识别 | 第86页 |
| ·优化指令实现 | 第86页 |
| ·优化内存体系 | 第86-87页 |
| ·生成数据通路 | 第87页 |
| ·生成总线 | 第87-88页 |
| ·生成流水和超标量体系结构 | 第88页 |
| ·生成控制器 | 第88页 |
| ·实例分析 | 第88-89页 |
| ·本章要点总结 | 第89-91页 |
| 第7章 设计案例:温度补偿晶体振荡器 | 第91-101页 |
| ·背景介绍 | 第91-93页 |
| ·系统设计概览 | 第93-94页 |
| ·理想曲线生成 | 第94-95页 |
| ·逼近曲线生成 | 第95-96页 |
| ·具体工作和流程影响 | 第96页 |
| ·实时重建 | 第96-99页 |
| ·具体工作和流程影响 | 第97-99页 |
| ·实现 | 第99页 |
| ·最后的补偿结果 | 第99-100页 |
| ·本章要点总结 | 第100-101页 |
| 第8章 总结和展望 | 第101-103页 |
| 参考文献 | 第103-108页 |
| 致谢 | 第108-109页 |
| 博士期间的论文和专利 | 第109-110页 |