2012
Hardback (08 Sep 2011)
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: | 9781441982063 |
| Publisher: | Springer New York |
| Imprint: | Springer |
| Pub date: | 08 Sep 2011 |
| Edition: | 2012 |
| Language: | English |
| Number of pages: | xxi, 221 |
| Weight: | 535g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 14mm |
$2.39off
Paperback
Published 25 Sep 2023
Save $2.39
$11.24off
Hardback
Published 16 Oct 2023
Save $11.24
$10.47off
Hardback
Published 29 Jun 2023
Save $10.47
$1.97off
Paperback
Published 25 May 2023
Save $1.97
$8.33off
Hardback
Published 05 Oct 2023
Save $8.33
