This book describes an approach for designing Systems-on-Chip such that the system meets precise mathematical requirements. The methodologies presented enable embedded systems designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct So Cs from multiple, possibly mismatching, components.
€96.29
表中的内容
System-on-A-Chip Design.- The AMBA SOC Platform.- Automatic Verification using Model and Module Checking.- Models for So Cs and Specifications.- So C Design Methodology.- Automatic Protocol Conversion.- Related Work and Outlook.- Appendix: Converter Generation Algorithm.
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● 网页 144 ● ISBN 9781461478645 ● 文件大小 3.9 MB ● 出版者 Springer New York ● 市 NY ● 国家 US ● 发布时间 2013 ● 下载 24 个月 ● 货币 EUR ● ID 4601082 ● 复制保护 社会DRM
来自同一作者的更多电子书 / 编辑
18,812 此类电子书
