4.23文创礼盒,买2个减5元 读书月福利
欢迎光临中图网 请 | 注册

用Specc做系统设计

作者:Gerstlauer
出版社:清华大学出版社出版时间:2008-01-01
开本: 其它 页数: 260
中 图 价:¥10.8(4.3折) 定价  ¥25.0 登录后可看到会员价
暂时缺货 收藏
运费6元,满69元免运费
?快递不能达地区使用邮政小包,运费14元起
云南、广西、海南、新疆、青海、西藏六省,部分地区快递不可达
温馨提示:5折以下图书主要为出版社尾货,大部分为全新(有塑封/无塑封),个别图书品相8-9成新、切口
有划线标记、光盘等附件不全详细品相说明>>
本类五星书更多>
微信公众号

用Specc做系统设计 版权信息

用Specc做系统设计 目录

1.2 计算模型51.2.1 有限状态机61.2.2 数据流图71.2.3 带数据通路有限状态机81.2.4 带数据通路的超状态有限状态机91.2.5 层次化并发有限状态机101.2.6 程序状态机111.3 SpecC模型121.3.1 传统的模型121.3.2 SpecC模型141.3.3 协议插入151.3.4 即插即用的通信171.3.5 通信模块的即插即用221.4 系统级语言的需求261.4.1 语言目标261.4.2 语言的需求281.5 SpecC语言291.5.1 基础291.5.2 SpecC的类型331.5.3 层次化结构351.5.4 行为的层次结构381.5.5 有限状态机的执行401.5.6 流水线的执行411.5.7 通信451.5.8 同步481.5.9 例外处理511.5.10 定时531.5.11 对设计库的支持571.5.12 持久的标注581.6 本章要点和结论601.6.1 本章要点601.6.2 结论611.6.3 更多的信息62第2章 用SpecC建模和设计63提纲642.1 简介652.1.1 抽象级别662.1.2 设计流程692.1.3 SpecC方法学712.2 系统描述模型722.2.1 系统描述模型举例732.2.2 通信与计算762.3 体系结构细化802.3.1 行为划分822.3.2 变量划分912.3.3 执行时间972.3.4 调度992.4 体系结构模型1042.5 通信综合1062.5.1 通道划分1082.5.2 插入协议1162.5.3 知识产权组件1382.5.4 插入协议1422.6 通信模型1512.7 后端处理1522.7.1 硬件综合1542.7.2 软件综合1572.7.3 接口综合1602.7.4 实现模型举例1672.8 实现模型1712.9 总结和结论172第3章 移动通信的GSM语音合成器设计175提纲1763.1 简介1773.1.1 GSM语音合成器标准1783.2 系统描述模型1793.2.1 编码层次1803.2.2 特征提取1813.3 体系结构探索1823.3.1 模型评估1833.4 体系结构模型1853.5 通信综合1863.6 通信模型1873.7 后端处理1883.8 *终实现模型1903.9 小结和结论191第4章 图像压缩解压缩(JBIG)编码器设计193提纲1944.1 简介1954.1.1 JBIG结构图1964.2 系统描述1974.2.1 系统描述模型1984.3 软硬件划分1994.3.1 方案12004.3.2 方案22014.3.3 方案32024.3.4 方案42034.3.5 结果分析2044.3.6 方案选择2064.4 体系结构模型2074.5 通信模型2084.5.1 内存-总线接口2094.6 JBIG硬件设计2134.6.1 JBIG硬件体系结构2144.7 结论215第5章 SpecC设计环境217提纲2185.1 简介2195.1.1 系统验证2215.1.2 SpecC覆盖范围2225.1.3 SpecC设计方法学2235.2 细化2245.2.1 用户接口2255.2.2 特征提取和性能评估2265.2.3 交互式细化2275.2.4 自动细化2285.2.5 验证2295.3 SpecC引擎2305.3.1 细化引擎2315.3.2 探索引擎2325.3.3 综合引擎2335.4 结论234第6章 SpecC技术开放协会2376.1 前言2386.2 动机2386.2.1 设计能力的差距2396.2.2 SpecC设计方法2406.3 SpecC技术开放协会2466.3.1 目的2476.3.2 历史2486.3.3 计划2496.3.4 成员250索引253
展开全部

用Specc做系统设计 节选

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

商品评论(0条)
暂无评论……
书友推荐
编辑推荐
返回顶部
中图网
在线客服