Memory Controllers for Real-Time Embedded Systems
Author | : Benny Akesson |
Publisher | : Springer Science & Business Media |
Total Pages | : 235 |
Release | : 2011-09-15 |
ISBN-10 | : 9781441982070 |
ISBN-13 | : 1441982078 |
Rating | : 4/5 (70 Downloads) |
Download or read book Memory Controllers for Real-Time Embedded Systems written by Benny Akesson and published by Springer Science & Business Media. This book was released on 2011-09-15 with total page 235 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.