文摘
英文文摘
第一章绪论
1.1嵌入式系统的发展现状及应用领域
1.2嵌入式系统设计及其关键技术分析
1.2.1嵌入式系统常用开发方法
1.2.2嵌入式系统设计的关键技术
1.3嵌入式系统调试技术
1.3.1嵌入式系统及其调试环境的特性
1.3.2嵌入式系统调试技术回顾
1.3.3嵌入式系统协同模拟技术
1.4本文的章节安排及主要工作
第二章嵌入式系统行为级功能描述及其验证技术的研究
2.1嵌入式系统集成设计框架结构
2.2基于客体技术的嵌入式系统行为级功能描述模型
2.3嵌入式软件功能描述语言ACDL
2.4嵌入式硬件功能描述语言EHDL
2.4.1硬件描述语言的特点
2.4.2 EHDL的语义描述
2.4.3 EHDL的语言模型
2.5嵌入式系统行为级功能验证策略研究
2.5.1行为级协同模拟验证环境简介
2.5.2嵌入式系统行为级协同模拟验证机制
2.6本章小结
第三章嵌入式系统硬件/软件划分与接口综合策略的研究
3.1硬件/软件划分问题概述
3.2硬件/软件划分问题的形式化描述
3.2.1系统模型
3.2.2系统目标结构及通讯模型的选择
3.2.3划分的优化目标
3.3基于遗传算法的硬件/软件划分方法
3.3.1遗传算法简介
3.3.2硬件/软件划分中的遗传策略
3.3.3遗传搜索中的群体局部优化策略
3.3.4基于遗传算法硬件/软件划分方法的基本描述
3.3.5算法性能分析及参数的确定
3.3.6基于遗传算法的多目标优化划分方法
3.4嵌入式系统接口综合策略的研究
3.4.1接口综合问题的描述
3.4.2控制端口的分配策略
3.4.3控制端口分配策略实例分析
3.5本章小结
第四章嵌入式系统协同验证策略的研究
4.1协同验证技术在嵌入式系统开发中的作用
4.2基于混合模拟的协同验证策略
4.2.1基于接口操作模型的混合协同模拟验证体系结构
4.2.2总线接口操作的控制策略
4.3混合协同模拟验证中的信息过滤技术
4.4混合协同模拟验证中的同步优化策略
4.4.1分布式优化模拟策略分析
4.4.2混合协同模拟的同步技术分析
4.4.3优化混合协同模拟策略
4.4.4优化混合模拟中的技术参数估算
4.4本章小结
第五章嵌入式系统虚拟开发调试环境的设计与实现
5.1嵌入式系统虚拟开发调试环境的体系结构
5.2 EHDL编译器与硬件模拟器的设计与实现
5.2.1 EHDL模拟系统的基本组成
5.2.2 EHDL编译器的设计与实现
5.2.3 EHDL内部模型的确立
5.2.4 EHDL模拟控制器的设计
5.2.5支持面板控制的EHDL语言特性
5.3 ESDL语言及其编译器的设计与实现
5.3.1 ESDL语言简介
5.3.2 ESDL语言的特点
5.3.3 ESDL编译环境的设计
5.4嵌入式软件虚拟调试器的设计
5.4.1虚拟调试器功能简介
5.4.2虚拟调试器的设计
5.5电路编辑器及器件编辑器的设计与实现
5.6嵌入式系统虚拟调试实例分析
5.7本章小结
第六章结束语
参考文献
攻博期间发表的学术论文及工作
致谢
作者简介
