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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
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.
Imprint | Springer-Verlag New York |
Country of origin | United States |
Series | Embedded Systems |
Release date | October 2011 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2012 |
Authors | Benny Akesson, Kees Goossens |
Dimensions | 235 x 155 x 14mm (L x W x T) |
Format | Hardcover |
Pages | 222 |
Edition | 2012 ed. |
ISBN-13 | 978-1-4419-8206-3 |
Barcode | 9781441982063 |
Categories | |
LSN | 1-4419-8206-X |