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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
