目录

第1章  specC语言提纲
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.1l  对设计库的支持
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  方案
4.3.2  方案
4.3.3  方案
4.3.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  成员
索引

内容摘要

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