|
|
|||
|
||||
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 New York Imprint: Springer New York ISBN: 9781283350976ISBN 10: 1283350971 Pages: 244 Publication Date: 01 January 2012 Audience: General/trade , General Format: Electronic book text Publisher's Status: Active Availability: In stock We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |