嵌入式系统的描述与设计【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

嵌入式系统的描述与设计PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

1.1 设计表示1

目录出版者的话专家指导委员会译者序英文版序言致谢第1章 引言1

1.2 抽象级别2

1.3 当前的设计方法学3

1.4 系统级方法学5

1.5 系统描述和设计6

第2章 模型与体系结构9

2.1 引言9

2.2 模型分类11

2.3 面向状态的模型11

2.3.1 有限状态机11

2.3.2 Petri网13

2.3.3 层次化并发有限状态机15

2.4.1 数据流图16

2.4 面向活动的模型16

2.4.2 流程图17

2.5 面向结构的模型18

2.6 面向数据的模型18

2.6.1 实体-关系图18

2.6.2 Jackson图19

2.7 异构模型20

2.7.1 控制／数据流图20

2.7.2　结构图20

2.7.3　程序设计语言模式22

2.7.4 面向对象的模型23

2.7.5 程序状态机24

2.7.6 队列模型25

2.9.2 数据通路体系结构26

2.9.1 控制器体系结构26

2.8 体系结构分类26

2.9 专用体系结构26

2.9.3 带数据通路的有限状态机28

2.10 处理器28

2.10.1 复杂指令集计算机28

2.10.2 精简指令集计算机29

2.10.3 向量机30

2.10.4 超长指令字计算机31

2.11 并行处理器31

2.12 结论33

2.13 练习33

第3章 系统描述语言35

3.1 引言35

3.2.1 并发性36

3.2 概念模型的特性36

3.2.2 状态迁移38

3.2.3 层次化39

3.2.4 程序结构40

3.2.5 行为完成41

3.2.6 通信42

3.2.7 同步43

3.2.8 异常处理45

3.2.9 非确定性46

3.2.10 时序46

3.3 嵌入式系统的描述要求47

3.4 描述语言综述48

3.4.1 VHDL48

3.4.2 Verilog50

3.4.3 HardwareC51

3.4.4 CSP52

3.4.5 Statecharts53

3.4.6 Argos55

3.4.7 SDL55

3.4.8 Silage56

3.4.9 Esterel56

3.5 SpecCharts57

3.5.1 语言描述57

3.5.2 用SpecCharts描述嵌入式系统59

3.5.3 等价图形化表示61

3.5.4 语言的可扩展性61

3.6 结论和发展方向62

3.7 练习63

第4章 系统描述举例65

4.1 引言65

4.2 电话应答机65

4.3 用SpecCharts进行系统描述67

4.4 测试用例举例72

4.5 可执行系统描述的优点73

4.6 PSM模型的优势74

4.6.1 层次性74

4.6.2 状态迁移74

4.6.3 程序设计结构74

4.7.1 系统描述的获取比较75

4.7 实验75

4.6.7 状态分解和编码的等价性75

4.6.6 完成75

4.6.5 异常处理75

4.6.4 并行性75

4.7.2 系统描述的理解比较76

4.7.3 系统描述的量化比较76

4.7.4 设计质量比较77

4.8 结论78

4.9 练习78

第5章 转换成VHDL81

5.1 引言81

5.2 状态迁移82

5.3 消息传递通信84

5.3.1 阻塞式消息传递84

5.4 并发86

5.3.2 非阻塞式消息传递86

5.4.1 数据流87

5.4.2 分叉88

5.5 异常处理89

5.6 从程序状态机到任务90

5.6.1 概述90

5.6.2 算法91

5.6.3 时间调整92

5.6.4 综合93

5.7 结论和发展方向93

5.8 练习93

第6章 系统划分95

6.1 引言95

6.2 结构划分和功能划分95

6.2.1 结构划分95

6.2.2 功能划分96

6.3 划分中的问题97

6.3.1 系统描述抽象级别98

6.3.2 粒度98

6.3.3 系统组件的分配99

6.3.4 度量和评估99

6.3.5 目标函数和接近函数100

6.3.6 划分算法101

6.3.7 输出101

6.3.8 控制流程和设计者的参与101

6.3.9 典型系统配置102

6.4 基本划分算法102

6.4.1 随机映射102

6.4.2 层次化结群102

6.4.3 多级结群104

6.4.4 成组移动105

6.4.5 比率切割107

6.4.6 模拟退火108

6.4.7 遗传进化109

6.4.8 整数线性规划110

6.5 硬件功能划分110

6.5.1 Yorktown硅编译器111

6.5.2 BUD113

6.5.3 Aparty115

6.5.4 其他技术117

6.6 软硬件划分算法118

6.6.1 贪心算法118

6.6.2 爬山算法119

6.7.1 Vulcan120

6.7 系统功能划分120

6.6.3 二分约束搜索算法120

6.7.2 Cosyma121

6.7.3 SpecSyn122

6.7.4 其他技术123

6.8 折中的探索124

6.9 结论和发展方向125

6.10 练习125

第7章 设计质量评估127

7.1 引言127

7.1.1 精确性与速度128

7.1.2 评估的保真度128

7.2 质量度量129

7.2.1 硬件成本度量129

7.2.3 性能度量130

7.2.2 软件成本度量130

7.2.4 其他度量134

7.3 硬件评估135

7.3.1 硬件评估模型135

7.3.2 时钟周期评估136

7.3.3 控制步评估141

7.3.4 执行时间评估145

7.3.5 通信速率评估147

7.3.6 面积评估148

7.3.7 引脚评估156

7.4 软件评估156

7.4.1 软件评估模型156

7.4.2 程序执行时间159

7.4.4 数据存储大小160

7.4.3 程序存储大小160

7.5 系统级工具的评估技术161

7.5.1 BUD161

7.5.2 Aparty162

7.5.3 Vulcan162

7.5.4 SpecSyn162

7.6 结论和发展方向164

7.7 练习164

第8章 设计描述细化167

8.1 引言167

8.2 细化变量群组167

8.2.1 变量折叠167

8.2.2 存储地址转换168

8.3.1 通道和总线的表征169

8.3 通道细化169

8.3.2 问题的定义170

8.3.3 总线生成170

8.3.4 协议生成176

8.4 解决访问冲突178

8.4.1 仲裁模型178

8.4.2 仲裁方案179

8.4.3 仲裁器生成180

8.5 细化不兼容接口181

8.5.1 问题的定义182

8.5.2 通信协议描述182

8.5.3 接口进程生成184

8.5.4 协议兼容的其他方法189

8.6 细化软件／硬件接口191

8.6.2 变量分配192

8.6.1 目标体系结构192

8.6.3 接口生成194

8.6.4 数据访问细化195

8.6.5 控制访问细化197

8.7 结论和发展方向198

8.8 练习199

第9章 系统设计方法学201

9.1 引言201

9.2 基本概念201

9.3 设计方法学举例201

9.3.1 当前的惯例204

9.3.2 系统级方法学205

9.4 通用综合系统206

9.4.1 系统综合208

9.4.2 ASIC综合209

9.4.3 逻辑综合和时序综合211

9.4.4 物理设计212

9.4.5 软件综合212

9.4.6 系统数据库213

9.5 系统设计的概念化环境213

9.6 结论和发展方向215

9.7 练习216

附录A 应答机的自然语言描述217

附录B 应答机的SpecCharts描述219

参考文献233

术语解释247

索引249