|
|
|||
|
||||
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. Dimensions: Width: 15.50cm , Height: 1.30cm , Length: 23.50cm Weight: 0.454kg ISBN: 9781461430094ISBN 10: 1461430097 Pages: 222 Publication Date: 27 October 2013 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |