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!