| 摘要 | 第1-15页 |
| Abstract | 第15-17页 |
| 第一章 绪论 | 第17-63页 |
| ·研究背景 | 第17-26页 |
| ·系统可信性 | 第18-20页 |
| ·计算机算术 | 第20-21页 |
| ·浮点乘加部件 | 第21-23页 |
| ·浮点乘加部件中算术加法可信性 | 第23-26页 |
| ·系统可信性研究现状 | 第26-40页 |
| ·信任模型 | 第27-29页 |
| ·可信计算 | 第29-33页 |
| ·系统可信性模型 | 第33-40页 |
| ·浮点乘加部件中混合算术加法可信性问题研究现状 | 第40-58页 |
| ·经典的并行算术加法算法 | 第41-47页 |
| ·浮点乘加部件中的算术加法 | 第47-54页 |
| ·如何提高浮点乘加部件算术加法的可信性 | 第54-58页 |
| ·论文主要工作 | 第58-61页 |
| ·论文结构 | 第61-63页 |
| 第二章 信任模型及系统可信性模型 | 第63-81页 |
| ·引言 | 第63-64页 |
| ·通用信任模型 | 第64-70页 |
| ·可信性的演化 | 第66-70页 |
| ·系统可信性模型 | 第70-78页 |
| ·系统可信性维度(System Trustworthiness Dimensions) | 第73-75页 |
| ·基于知识的系统可信性增强 | 第75-78页 |
| ·再看浮点乘加部件中算术加法可信性 | 第78-80页 |
| ·小结 | 第80-81页 |
| 第三章 浮点乘加部件中循环进位/并行前缀混合算术加法 | 第81-101页 |
| ·引言 | 第81-82页 |
| ·循环进位/并行前缀混合加法器的算法描述 | 第82-93页 |
| ·循环进位算术部件系统结构 | 第83-85页 |
| ·减法的实现 | 第85-87页 |
| ·减法和加法的整合 | 第87-88页 |
| ·End-around-carry logic unit | 第88-93页 |
| ·循环进位/并行前缀混合加法器的实现 | 第93-96页 |
| ·循环进位/并行前缀混合加法器不同设计方案分析比较 | 第96-100页 |
| ·小结 | 第100-101页 |
| 第四章 基于半群理论的算术加法形式化分析与正确性证明 | 第101-157页 |
| ·引言 | 第101-102页 |
| ·基于半群理论的基本算术加法算法形式化分析与正确性证明 | 第102-116页 |
| ·基础知识 | 第103-106页 |
| ·串行前缀算术加法算法的证明 | 第106-109页 |
| ·并行前缀算术加法算法的证明 | 第109-116页 |
| ·选择进位/并行前缀混合算术加法通用系统结构及其正确性证明 | 第116-128页 |
| ·基础知识 | 第118-119页 |
| ·选择进位/并行前缀混合算术加法算法形式化证明框架 | 第119-128页 |
| ·混合加法器实例的形式化证明 | 第128-133页 |
| ·常规混合加法器的形式化证明 | 第129-130页 |
| ·具有伪进位的混合算术加法器 | 第130-133页 |
| ·循环进位/并行前缀混合算术加法通用系统结构及其正确性证明 | 第133-154页 |
| ·基础知识 | 第135-136页 |
| ·循环进位算术加法通用算法描述 | 第136-143页 |
| ·循环进位/前缀混合算术加法通用系统结构 | 第143-154页 |
| ·小结 | 第154-157页 |
| 第五章 面向方面的硬件设计空间搜索方法 | 第157-191页 |
| ·引言 | 第157-158页 |
| ·面向方面硬件设计空间搜索方法概述 | 第158-162页 |
| ·AspectC++ 与 System C | 第158-159页 |
| ·基于SystemC 和 AspectC++ 的设计空间搜索方法 | 第159-162页 |
| ·基于面向方面的硬件系统原型构建与仿真 | 第162-171页 |
| ·基于AOP 和 System C 的高层次建模方法 | 第165-167页 |
| ·应用实例 | 第167-170页 |
| ·仿真结果 | 第170-171页 |
| ·基于面向方面的高层次功耗评估方法 | 第171-190页 |
| ·基于AOP 的功耗评估流程 | 第173-176页 |
| ·实例及其功耗模型说明 | 第176-178页 |
| ·基于SystemC 和 AOP 的功耗评估方法 | 第178-184页 |
| ·多功耗宏模型评估和多精度功耗评估 | 第184-187页 |
| ·实验结果 | 第187-190页 |
| ·小结 | 第190-191页 |
| 第六章 基于模型驱动开发和面向服务建模的硬件高层次建模与设计方法 | 第191-223页 |
| ·引言 | 第191页 |
| ·MDA 的基本概念 | 第191-199页 |
| ·MARTE 简介 | 第194-198页 |
| ·UML Profile for SOC 简介 | 第198-199页 |
| ·面向服务的硬件系统建模与设计方法 | 第199-216页 |
| ·面向服务的硬件建模与设计方法概述 | 第201-205页 |
| ·UML Profile for SoC 到System C 的转换 | 第205-212页 |
| ·MARTE 到 UML Profile for SoC 的转换 | 第212-213页 |
| ·示例 | 第213-216页 |
| ·硬件系统高层次建模对 AOP 支持的讨论 | 第216-222页 |
| ·小结 | 第222-223页 |
| 第七章 结束语 | 第223-227页 |
| ·本文的主要贡献 | 第223-224页 |
| ·进一步的工作 | 第224-227页 |
| 致谢 | 第227-229页 |
| 参考文献 | 第229-249页 |
| 攻读博士期间取得的学术成果 | 第249-251页 |
| 攻读博士期间参加的科研项目 | 第251页 |
