2012nd edition
Paperback (27 Oct 2013)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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.
| ISBN: | 9781461430094 |
| Publisher: | Springer New York |
| Imprint: | Springer |
| Pub date: | 27 Oct 2013 |
| Edition: | 2012nd edition |
| Language: | English |
| Number of pages: | 222 |
| Weight: | 379g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 13mm |
$0.80off
Paperback
Published 21 Jun 2018
Save $0.80
$2.37off
Paperback
Published 25 Sep 2023
Save $2.37
$11.17off
Hardback
Published 16 Oct 2023
Save $11.17
$10.41off
Hardback
Published 29 Jun 2023
Save $10.41
$1.95off
Paperback
Published 25 May 2023
Save $1.95
$8.28off
Hardback
Published 05 Oct 2023
Save $8.28
