用SPECC做系统设计PDF|Epub|txt|kindle电子书版本网盘下载

用SPECC做系统设计PDF格式电子书版下载

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

第1章　SpecC语言1

提纲2

1.1 简介3

1.2　计算模型5

1.2.1　有限状态机6

1.2.2　数据流图7

1.2.3　带数据通路有限状态机8

1.2.4　带数据通路的超状态有限状态机9

1.2.5　层次化并发有限状态机10

1.2.6　程序状态机11

1.3　SpecC模型12

1.3.1　传统的模型12

1.3.2　SpecC模型14

1.3.3　协议插入15

1.3.4　即插即用的通信17

1.3.5　通信模块的即插即用22

1.4　系统级语言的需求26

1.4.1　语言目标26

1.4.2　语言的需求28

1.5　SpecC语言29

1.5.1　基础29

1.5.2 SpecC的类型33

1.5.3　层次化结构35

1.5.4　行为的层次结构38

1.5.5　有限状态机的执行40

1.5.6　流水线的执行41

1.5.7　通信45

1.5.8 同步48

1.5.9　例外处理51

1.5.10　定时53

1.5.11　对设计库的支持57

1.5.12　持久的标注58

1.6　本章要点和结论60

1.6.1　本章要点60

1.6.2　结论61

1.6.3　更多的信息62

第2章　用SpecC建模和设计63

提纲64

2.1 简介65

2.1.1　抽象级别66

2.1.2　设计流程69

2.1.3　SpecC方法学71

2.2　系统描述模型72

2.2.1　系统描述模型举例73

2.2.2　通信与计算76

2.3　体系结构细化80

2.3.1　行为划分82

2.3.2　变量划分91

2.3.3　执行时间97

2.3.4　调度99

2.4　体系结构模型104

2.5　通信综合106

2.5.1　通道划分108

2.5.2　插入协议116

2.5.3　知识产权组件138

2.5.4　插入协议142

2.6　通信模型151

2.7　后端处理152

2.7.1　硬件综合154

2.7.2　软件综合157

2.7.3　接口综合160

2.7.4　实现模型举例167

2.8　实现模型171

2.9　总结和结论172

第3章　移动通信的GSM语音合成器设计175

提纲176

3.1 简介177

3.1.1　GSM语音合成器标准178

3.2　系统描述模型179

3.2.1 编码层次180

3.2.2　特征提取181

3.3　体系结构探索182

3.3.1　模型评估183

3.4　体系结构模型185

3.5　通信综合186

3.6　通信模型187

3.7　后端处理188

3.8　最终实现模型190

3.9　小结和结论191

第4章 图像压缩解压缩（JBIG）编码器设计193

提纲194

4.1 简介195

4.1.1　JBIG结构图196

4.2　系统描述197

4.2.1　系统描述模型198

4.3　软硬件划分199

4.3.1　方案1200

4.3.2　方案2201

4.3.3　方案3202

4.3.4　方案4203

4.3.5　结果分析204

4.3.6　方案选择206

4.4　体系结构模型207

4.5　通信模型208

4.5.1 内存-总线接口209

4.6　JBIG硬件设计213

4.6.1　JBIG硬件体系结构214

4.7　结论215

第5章　SpecC设计环境217

提纲218

5.1　简介219

5.1.1　系统验证221

5.1.2　SpecC覆盖范围222

5.1.3　SpecC设计方法学223

5.2　细化224

5.2.1　用户接口225

5.2.2　特征提取和性能评估226

5.2.3　交互式细化227

5.2.4 自动细化228

5.2.5　验证229

5.3　SpecC引擎230

5.3.1　细化引擎231

5.3.2　探索引擎232

5.3.3　综合引擎233

5.4　结论234

第6章　SpecC技术开放协会237

6.1　前言238

6.2　动机238

6.2.1　设计能力的差距239

6.2.2　SpeccC设计方法240

6.3　SpecC技术开放协会246

6.3.1 目的247

6.3.2　历史248

6.3.3　计划249

6.3.4　成员250

索引253