没有合适的资源?快使用搜索试试~ 我知道了~
《SoCD的正确构造方法》电子书下载.pdf
需积分: 9 2 下载量 99 浏览量
2019-07-23
14:32:52
上传
评论
收藏 3.15MB PDF 举报
温馨提示
用摩尔定律作为一本计算机科学书籍的前言总是一个好主意! 事实上,这种自我实现的预测已经导致了小型化,2012年的处理器拥有多达50亿个晶体管,比如英特尔(Intel)的Xeon Phi协处理器(Xeon Phi协处理器)。 然而,这种小型化带来了相应的复杂性,没有工程师能够设想出一个处理器有这么多晶体管。 因此,使用分而治之的方法是很自然的,这导致了首先出现多核处理器和片上系统(SoC),最后出现多处理器SoC (MPSoC)。 这就是处理器设计(硬件)领域与基于组件的设计(软件)领域相遇的地方。 在这两个领域,问题都很简单:工程师如何从更简单且已经过验证的组件(可能是第三方)设计一个庞大而复杂的系统(无论是MPSoC还是大型软件系统)? 这看起来很有吸引力,但它提出了几个关键的挑战,而这正是本书的主旨所在:设计、验证和验证由许多组件组成的系统,这样可以保存全局属性,并且可以避免组件之间的任何类型的不匹配(在控制信号、时钟或组件之间的数据交换方面的不匹配)。 本书阐述的方法将被证明对设计下一代mpsoc至关重要,它将变得越来越强大,越来越嵌入式,越来越可靠。
资源推荐
资源详情
资源评论
RoopakSinha· ParthasarathiRoop
SamikBasu
Correct-by-
Construction
Approaches for
SoC Design
Correct-by-Construction Approaches
for SoC Design
Roopak Sinha • Parthasarathi Roop • Samik Basu
Correct-by-Construction
Approaches for SoC Design
123
Roopak Sinha
Electrical and Computer Engineering
The University of Auckland
Auckland, New Zealand
Samik Basu
Department of Computer Science
Iowa State University
Ames, IA, USA
Parthasarathi Roop
Electrical and Computer Engineering
The University of Auckland
Auckland, New Zealand
ISBN 978-1-4614-7863-8 ISBN 978-1-4614-7864-5 (eBook)
DOI 10.1007/978-1-4614-7864-5
Springer New York Heidelberg Dordrecht London
Library of Congress Control Number: 2013944687
© Springer Science+Business Media New York 2014
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of
the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology
now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection
with reviews or scholarly analysis or material supplied specifically for the purpose of being entered
and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of
this publication or parts thereof is permitted only under the provisions of the Copyright Law of the
Publisher’s location, in its current version, and permission for use must always be obtained from Springer.
Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations
are liable to prosecution under the respective Copyright Law.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication
does not imply, even in the absence of a specific statement, that such names are exempt from the relevant
protective laws and regulations and therefore free for general use.
While the advice and information in this book are believed to be true and accurate at the date of
publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for
any errors or omissions that may be made. The publisher makes no warranty, express or implied, with
respect to the material contained herein.
Printed on acid-free paper
Springer is part of Springer Science+Business Media (www.springer.com)
剩余162页未读,继续阅读
资源评论
weixin_39840588
- 粉丝: 451
- 资源: 1万+
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 技术资料分享第04章 文本显示很好的技术资料.zip
- 技术资料分享第4章-任务管理很好的技术资料.zip
- 技术资料分享第05章 显示数值很好的技术资料.zip
- 技术资料分享第5章-时间管理很好的技术资料.zip
- 技术资料分享第06章 2-D图形库很好的技术资料.zip
- 技术资料分享第6章-任务之间的通讯与同步很好的技术资料.zip
- 技术资料分享第07章 字体很好的技术资料.zip
- 技术资料分享第7章-内存管理很好的技术资料.zip
- 技术资料分享第08章 位图转换器很好的技术资料.zip
- 技术资料分享第8章很好的技术资料.zip
- 技术资料分享第09章 颜色很好的技术资料.zip
- 技术资料分享第9章很好的技术资料.zip
- 技术资料分享第10章 存储设备很好的技术资料.zip
- 技术资料分享第10章很好的技术资料.zip
- 技术资料分享第11章 运行模式:单、多任务很好的技术资料.zip
- 技术资料分享第11章很好的技术资料.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功