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. ...
Get Multiprocessor Systems-on-Chips now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
