SCRV allows to cover the non-determinism of the scheduling choices, when executing a SystemC/TLM model with the SystemC engine. This is way of guaranteeing the full coverage of the specification.
The tool is described in .
SCRV has been developed by C. Helmstetter in the context of his PhD.
