O'Reilly logo

Multiprocessor Systems-on-Chips by Wayne Wolf, Ahmed Jerraya

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

16.3. Tools

The Metropolis framework includes tools to perform a variety of tasks, some common, such as simulation, and some more specialized, such as property verification and synthesis, as described in this section.

16.3.1. Simulation

Traditionally, systems are verified by simulating their response to a given set of stimuli. However, non-determinism poses unique problems since there may be many valid responses. In Balarin et al. [672], we have proposed a generic simulation algorithm that selects, under the user’s control, one of the acceptable behaviors for a given stimulus. The choice is driven by different objectives at various design stages. Initially, the algorithm optimizes simulation time to reveal the most trivial mistakes quickly. ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required