Free Delivery Over $100
|
|
|||
|
||||
OverviewVerification 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. Full Product DetailsAuthor: Benny Akesson , Kees GoossensPublisher: Springer-Verlag New York Inc. Imprint: Springer-Verlag New York Inc. Edition: 2012 ed. Volume: 2 Dimensions: Width: 15.50cm , Height: 1.40cm , Length: 23.50cm Weight: 0.535kg ISBN: 9781441982063ISBN 10: 144198206 Pages: 222 Publication Date: 08 September 2011 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Out of stock  The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsIntroduction.- 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
