| 摘要 | 第1-16页 |
| ABSTRACT | 第16-19页 |
| 第一章 绪言 | 第19-33页 |
| §1.1 研究背景 | 第19-21页 |
| §1.2 相关研究 | 第21-27页 |
| ·模拟验证方法 | 第21-23页 |
| ·形式化验证方法 | 第23-24页 |
| ·复合验证方法 | 第24-25页 |
| ·模型驱动的验证方法 | 第25-27页 |
| §1.3 问题的提出与研究目标 | 第27-28页 |
| §1.4 主要研究内容 | 第28-29页 |
| §1.5 主要研究成果 | 第29-30页 |
| §1.6 论文结构 | 第30-33页 |
| 第二章 基于模型的SoC功能规约方法 | 第33-53页 |
| §2.1 引言 | 第33-34页 |
| §2.2 带OCL约束机制的SystemC UML Profile | 第34-38页 |
| ·传统的SystemC UML Profile | 第34-36页 |
| ·带OCL约束及时间扩展形式的SystemC UML Profile | 第36-38页 |
| §2.3 模型定义 | 第38-43页 |
| ·用例 | 第38页 |
| ·不带时间约束的场景描述 | 第38-40页 |
| ·带时间约束的场景描述 | 第40-42页 |
| ·UML StateCharts | 第42-43页 |
| §2.4 基于UML创建SoC高层设计规约 | 第43-50页 |
| ·功能规约 | 第43页 |
| ·体系结构开采 | 第43-45页 |
| ·结构建模 | 第45-46页 |
| ·行为建模 | 第46页 |
| ·接口规约 | 第46-48页 |
| ·SoC构件通信规约 | 第48-49页 |
| ·规约SoC系统级功能方面 | 第49-50页 |
| §2.5 基于UML模型创建SoC基于事务的测试规约 | 第50-52页 |
| §2.6 小结 | 第52-53页 |
| 第三章 基于模型的SoC系统级行为抽取与设计风险评估 | 第53-73页 |
| §3.1 引言 | 第53页 |
| §3.2 片上网络与SoC设计示例 | 第53-58页 |
| ·片上共享总线简介 | 第54-55页 |
| ·片上网络简介 | 第55-57页 |
| ·x-NoC设计 | 第57-58页 |
| §3.3 采用UML扩展模型描述SoC设计 | 第58-60页 |
| §3.4 基于模型的风险评估方法 | 第60-70页 |
| ·风险分析过程 | 第60-61页 |
| ·模型定义 | 第61-62页 |
| ·x-NoC设计的行为建模 | 第62-66页 |
| ·环境的行为场景提取及其执行概率计算 | 第66页 |
| ·执行风险评估 | 第66-68页 |
| ·案例分析 | 第68-70页 |
| §3.6 小结 | 第70-73页 |
| 第四章 环境驱动基于模型的事务测试程序生成 | 第73-95页 |
| §4.1 引言 | 第73页 |
| §4.2 基于模型的测试方法学 | 第73-74页 |
| §4.3 SoC基于事务的验证环境 | 第74-78页 |
| ·基于事务的验证环境基本元素 | 第75-76页 |
| ·基于事务的验证环境框架 | 第76-77页 |
| ·基于事务的验证流程 | 第77-78页 |
| §4.4 基于模型的SoC事务验证框架 | 第78-79页 |
| §4.5 环境驱动的基于模型的事务测试程序生成 | 第79-85页 |
| ·概述 | 第79-80页 |
| ·验证方法 | 第80-82页 |
| ·系统级行为场景及测试程序生成 | 第82-84页 |
| ·事务调度的模板语言 | 第84-85页 |
| ·事务测试目标的生成 | 第85页 |
| §4.6 基于构件的SoC事务验证环境 | 第85-89页 |
| ·环境的体系结构 | 第85-86页 |
| ·模拟器和算法 | 第86-89页 |
| §4.7 案例分析 | 第89-94页 |
| §4.8 小结 | 第94-95页 |
| 第五章 基于扩展Petri网的事务调度方法 | 第95-107页 |
| §5.1 引言 | 第95页 |
| §5.2 相关研究 | 第95-96页 |
| §5.3 ESTPN的定义 | 第96-97页 |
| §5.4 映射事务调度问题到ESTPN | 第97-98页 |
| §5.5 事务调度模式和调度算法 | 第98-100页 |
| ·事务调度模式 | 第98-100页 |
| ·事务调度算法 | 第100页 |
| §5.6 TAM资源约束下的事务调度 | 第100-102页 |
| §5.7 案例分析 | 第102-104页 |
| §5.8 小结 | 第104-107页 |
| 第六章 SoC模型级与事务级行为场景的一致性验证 | 第107-137页 |
| §6.1 引言 | 第107-108页 |
| §6.2 SoC行为场景建模与一致性验证问题 | 第108-110页 |
| §6.3 基于扩展层次接口自动机的方法 | 第110-121页 |
| ·模型定义 | 第110-116页 |
| ·SoC行为场景一致性验证方法 | 第116-121页 |
| §6.4 基于程序静态切片和面向方面的代码注入方法 | 第121-133页 |
| ·概述 | 第121-122页 |
| ·SystemC程序的静态切片 | 第122-129页 |
| ·执行轨迹捕获 | 第129-131页 |
| ·行为场景的一致性验证 | 第131-133页 |
| §6.5 案例分析 | 第133-135页 |
| §6.6 小结 | 第135-137页 |
| 第七章 基于扩展时间Petri网模拟验证SoC事务级设计 | 第137-147页 |
| §7.1 引言 | 第137-138页 |
| §7.2 EHCPN模型定义 | 第138-141页 |
| §7.3 利用EHCPN创建SoC构件的可执行模型 | 第141-143页 |
| ·基本的建模元素 | 第141页 |
| ·SoC构件静态结构建模 | 第141-142页 |
| ·同步行为建模 | 第142-143页 |
| §7.4 建模与模拟环境的设计与实现 | 第143-144页 |
| ·建模环境 | 第143页 |
| ·模拟环境 | 第143-144页 |
| §7.5 案例分析 | 第144-145页 |
| §7.6 小结 | 第145-147页 |
| 第八章 结束语 | 第147-151页 |
| §8.1 工作总结 | 第147-149页 |
| §8.2 工作展望 | 第149-151页 |
| 致谢 | 第151-153页 |
| 参考文献 | 第153-165页 |
| 攻读博士学位期间取得的学术成果 | 第165-167页 |
| 攻读博士学位期间参与的研究课题 | 第167页 |
