User guide

21-61
OpenVera Native Testbench
-cm_name filename
As a compile-time or runtime option, specifies an alternative test
name instead of the default name. The default test name is "test".
Solver Choice
VCS incorporates two different solvers, each of which supports the
entire OpenVera constraint language. You may select the solver you
want using the runtime option vera_solver_mode, which takes the
values 1 or 2. The default value is 2.
Example 21-3
simv +vera_solver_mode=2 ...
The two solvers have different performance characteristics. When
the solver mode is set to 1, this solver exhaustively analyzes the entire
solution space, restricted to the space allowed by the current
assignment to non-random variables. It caches this analysis, and
VCS reuses it in subsequent calls to randomize() with the same
combination of non-random variables. Since the solver has a
complete view of the solution space, it can generate a uniform
sampling of the solutions.
When the solver mode is set to 2, this solver does an analysis of the
solution space too, again restricted to the space allowed by the
current assignment to non-random variables. However, it is not
exhaustive as with solver mode 1. Consequently, the analysis is
faster when the solver mode is set to 2. This solver then follows a
heuristic search algorithm when it generates a random solution.
Since this solver does not have a complete view of the solution
space, it cannot generate a uniform sampling of the solutions.