注册 | 登录读书好,好读书,读好书!
读书网-DuShu.com
当前位置: 首页出版图书科学技术工业技术无线电电子学、电信技术用SpecC做系统设计

用SpecC做系统设计

用SpecC做系统设计

定 价:¥25.00

作 者: (美国)Andreas Gerstlauer 等著;边计年 译
出版社: 清华大学出版社
丛编项: VHDL与集成电路设计丛书
标 签: 制图

购买这本书可以去


ISBN: 9787302132899 出版时间: 2008-01-01 包装: 平装
开本: 16 页数: 242 字数:  

内容简介

  全书共分6章。第1章介绍设计方法学和SpecC语言,把SpecC作为专门面向综合的系统级设计语言(system-level design language,SLDL)的一个实例。第2章讨论系统级设计的4个不同的抽象级别,定义每一个级别上的模型,并且详细解释如何从一个抽象级别逐步细化到下一个级别。为了以实例说明设计方法学,我们将设计方法学应用于工业界的2个实例(移动电话的语音编码/解码器和图像编码器)分别在第3章和第4章中介绍。第5章介绍围绕上述设计方法学而研发的整个设计环境和可能使用的工具。最后,在第6章中介绍SpecC技术开放协会(SpecC Technology Open Consortium) ,该协会的目的是促使SpecC语言成为世界性的标准,以便于相互协同工作、IP核(intellectual property core)相互交流等。本书将给SOC或嵌入式系统的设计者和设计管理者带来巨大效益。他们可以利用本书的结果开发出新的设计方法,使其设计效率以指数形式上升。对于那些原来是RTL级、逻辑级或物理级的设计者来说,如果他们对转移到系统级设计有兴趣,他们会发现可以对设计整体有全面的把握。本书的设计模型定义了IP模型和函数,适合于IP核提供者和使用者交流用。一个高效的方法学(例如本书所提供的方法)将帮助产品计划部门快速开发出新产品,或者引出新的商业模型(例如电子设计或根据定单设计产品)。最后,系统设计领域的学者和学生可以在本书中找到形式化的、有很好结构的设计流程实例。

作者简介

  边计年,清华大学计算机系教授,博士生导师。1970年毕业于清华大学自动控制系,毕业后在清华大学任教至今,其中1985年至1986年作为访问学者在日本京都大学进修。研究方向为面向系统芯片(SOC)的系统设计方法学,包括系统描述、软硬件划分与通信综合、与布图结合的高层次综合、系统协同验证等。出版著作有《数字系统计算机辅助设计》、《数字系统设计自动化》、《超大规模集成电路计算机辅助设计技术》等。译著有《VHDL简明教程》、《数字逻辑与VHDL设计》、《嵌入式系统的描述与设计》等。

图书目录

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 SpecC设计方法240
6.3 SpecC技术开放协会246
6.3.1 目的247
6.3.2 历史248
6.3.3 计划249
6.3.4 成员250

索引253

本目录推荐