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.