最 低 价：￥18.80
定 价：￥25.00
作 者：（美）格斯劳尔（Gerstlauer，A.） 等著，边计年，薛宏熙 等译 著
出 版 社：清华大学出版社
出版时间：2008-1-1
I S B N：9787302132899
| 边计年，清华大学计算机系教授，博士生导师。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 成员 索引 |
内容加载中，请稍后...
商品评论（0条）