第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 方案1 200
4.3.2 方案2 201
4.3.3 方案3 202
4.3.4 方案4 203
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