用Spec C作系统设计（VHDL与集成电路设计丛书）
点此进入淘宝搜索页搜索分类: 图书,计算机/网络,行业软件及应用,
作者： （美）格斯劳尔（Gerstlauer，A.）等著，边计年，薛宏熙等译
出 版 社： 清华大学出版社
出版时间： 2008-1-1字数： 312000版次： 1页数： 260印刷时间： 2008/01/01开本： 16开印次： 1纸张： 胶版纸I S B N ： 9787302132899包装： 平装内容简介
全书共分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章 SpecC语言1提纲
1.1 简介
1.2 计算模型
1.2.1 有限状态机
1.2.2 数据流图
1.2.3 带数据通路有限状态机
1.2.4 带数据通路的超状态有限状态机
1.2.5 层次化并发有限状态机
1.2.6 程序状态机
1.3 SpecC模型
1.3.1 传统的模型
1.3.2 SpecC模型
1.3.3 协议插入
1.3.4 即插即用的通信
1.3.5 通信模块的即插即用
1.4 系统级语言的需求
1.4.1 语言目标
1.4.2 语言的需求
1.5 SpecC语言
1.5.1 基础
1.5.2 SpecC的类型
1.5.3 层次化结构
1.5.4 行为的层次结构
1.5.5 有限状态机的执行
1.5.6 流水线的执行
1.5.7 通信
1.5.8 同步
1.5.9 例外处理
1.5.10 定时
1.5.11 对设计库的支持
1.5.12 持久的标注
1.6 本章要点和结论
1.6.1 本章要点
1.6.2 结论
1.6.3 更多的信息
第2章 用SpecC建模和设计
提纲
2.1 简介
2.1.1 抽象级别
2.1.2 设计流程
2.1.3 SpecC方法学
2.2 系统描述模型
2.2.1 系统描述模型举例
2.2.2 通信与计算
2.3 体系结构细化
2.3.1 行为划分
2.3.2 变量划分
2.3.3 执行时间
2.3.4 调度
2.4 体系结构模型
2.5 通信综合
2.5.1 通道划分
2.5.2 插入协议
2.5.3 知识产权组件
2.5.4 插入协议
2.6 通信模型
2.7 后端处理
2.7.1 硬件综合
2.7.2 软件综合
2.7.3 接口综合
2.7.4 实现模型举例
2.8 实现模型
2.9 总结和结论
第3章 移动通信的GSM语音合成器设计
提纲
3.1 简介
3.1.1 GSM语音合成器标准
3.2 系统描述模型
3.2.1 编码层次
3.2.2 特征提取
3.3 体系结构探索
3.3.1 模型评估
3.4 体系结构模型
3.5 通信综合
3.6 通信模型
3.7 后端处理
3.8 最终实现模型
3.9 小结和结论
第4章 图像压缩解压缩（JBIG）编码器设计
提纲
4.1 简介
4.1.1 JBIG结构图
4.2 系统描述
4.2.1 系统描述模型
4.3 软硬件划分
4.3.1 方案1
4.3.2 方案2
4.3.3 方案3
4.3.4 方案4
4.3.5 结果分析
4.3.6 方案选择
4.4 体系结构模型
4.5 通信模型
4.5.1 内存-总线接口
4.6 JBIG硬件设计
4.6.1 JBIG硬件体系结构
4.7 结论
第5章 SpecC设计环境
提纲
5.1 简介
5.1.1 系统验证
5.1.2 SpecC覆盖范围
5.1.3 SpecC设计方法学
5.2 细化
5.2.1 用户接口
5.2.2 特征提取和性能评估
5.2.3 交互式细化
5.2.4 自动细化
5.2.5 验证
5.3 SpecC引擎
5.3.1 细化引擎
5.3.2 探索引擎
5.3.3 综合引擎
5.4 结论
第6章 SpecC技术开放协会
6.1 前言
6.2 动机
6.2.1 设计能力的差距
6.2.2 SpecC设计方法
6.3 SpecC技术开放协会
6.3.1 目的
6.3.2 历史
6.3.3 计划
6.3.4 成员
索引
