| 书目名称 | Memory Controllers for Real-Time Embedded Systems |
| 副标题 | Predictable and Comp |
| 编辑 | Benny Akesson,Kees Goossens |
| 视频video | |
| 概述 | Provides an overview of trends in embedded system design that make design of real-time.Cs difficult, error-prone, and expensive Introduces the concept of predictability, which is required for formal v |
| 丛书名称 | Embedded Systems |
| 图书封面 |  |
| 描述 | .Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation. This book explains the concepts of predictability and composability and shows how to apply them to the design and analysis of a memory controller, which is a key component in any real-time system.. |
| 出版日期 | Book 2012 |
| 关键词 | Embedded Systems; Embedded Systems; Integrated Circuits and Systems; Integrated Circuits and Systems; Me |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4419-8207-0 |
| isbn_softcover | 978-1-4614-3009-4 |
| isbn_ebook | 978-1-4419-8207-0Series ISSN 2193-0155 Series E-ISSN 2193-0163 |
| issn_series | 2193-0155 |
| copyright | Springer Science+Business Media, LLC 2012 |
发表于 2025-3-21 16:58:10
