ARMSOC设计的软件和硬件协同验证

第1章 嵌入式系统验证简介
　1.1 什么是嵌入式系统？
　1.2 嵌入式系统无所不在
　1.3 设计的约束
　1.4 嵌入式系统分解
　 1.4.1 微处理器、芯片与电路板
　　1.4.2 嵌入式系统的分类
　1.5 嵌入式系统设计流程
　1.6 验证与确认
　1.7 人际互动
　1.8 关于这本书
　1.9 范围与纲要
第2章 软件和硬件设计过程
　2.1 SoC协同验证的三个组成部分
　2.2 验证平台
　2.3 软件工程师对嵌入式系统的观点
　2.4 硬件工程师对嵌入式系统的观点
　2.5 软件开发工具
　　2.5.1 编辑器
　　2.5.2 源代码修订控制
　　2.5.3 编译器
　　2.5.4 调试器
　　2.5.5 模拟器
　　2.5.6 开发板
　　2.5.7 集成开发环境（IDE）
　2.6 软件调试连接
　　2.6.1 JTAG
　　2.6.2 Stub
　　2.6.3 直接连接
　2.7 软件的类型
　　2.7.1 系统初始化软件和HAL
　　2.7.2 硬件诊断测试套件
　　2.7.3 RTOS
　　2.7.4 RTOS设备驱动程序和应用软件
　2.8 软件开发过程
　2.9 硬件开发工具
　　2.9.1 编辑器
　　2.9.2 源代码修订控制
　　2.9.3 Lint工具
　　2.9.4 代码覆盖
　　2.9.5 调试工具
　　2.9.6 验证语言
　　2.9.7 断言
　　2.9.8 调试的定义
　　2.9.9 存储器模型
　　2.9.10 微处理器模型
　2.10 硬件设计过程
　2.11 微处理器回顾
　2.12 软件和硬件的交互
　　2.12.1 软件调试特征
　　2.12.2 硬件调试特征
第3章 ARM体系结构的SoC协同验证课题
　3.1 ARM的背景
　3.2 ARM的体系结构　
……
第4章 软件和硬件协同验证
第5章 高级软件和硬件协同验证
第6章 硬件验证环境与协同验证
第7章 ARM SoC设计方法举例
后记