Description
Memory Controllers for Real-Time Embedded Systems, 2012
Predictable and Composable Real-Time Systems
Embedded Systems Series
Language: EnglishSubject for Memory Controllers for Real-Time Embedded Systems:
Keywords
Embedded Systems; Embedded Systems; Integrated Circuits and Systems; Integrated Circuits and Systems; Memory Controllers; Memory Controllers; Predictable and Composable Systems; Predictable and Composable Systems; Real-time systems; Real-time systems; SDRAM; SDRAM; SOC; SOC; Systems-on-Chip; Systems-on-Chip; Verification of Embedded Systems; Verification of Embedded Systems
222 p. · 15.5x23.5 cm · Paperback
Publication date: 09-2011
222 p. · 15.5x23.5 cm · Hardback
Description
/li>Contents
/li>Comment
/li>
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.
Introduction.- Proposed Solution.- SDRAM Memories and Controllers.- Predictable SDRAM Back-End.- Resource Arbitration.- Composable Resource Front-End.- Configuration.- Related Work.- Conclusions and Future Work.- Appendix: System XML Specification.