User guide

21-40
OpenVera Native Testbench
+ntb_solver_mode=value
Allows you to choose between one of two constraint solver
modes. When set to 1, the solver spends more pre-processing
time in analyzing the constraints, during the first call to
randomize() on each class. Subsequent calls to randomize() on
that class are very fast. When set to 2, the solver does minimal
pre-processing, and analyzes the constraint in each call to
randomize(). Default is 2.
+ntb_stop_on_error
When the simulation encounters a simulation error, this option
causes the simulation to stop immediately, and turns it into a CLI
debugging environment. In addition to normal verification errors,
+ntb_stop_on_error halts the simulation in case of runtime
errors.
The default setting is to execute the remaining code within the
present simulation time.
+vera_enable_checker_trace
Enables a debug mode that displays diagnostics when the
randomize(VERA_CHECK_MODE) method is called.
+vera_enable_checker_trace_on_failure
Enables a mode that prints trace information only when the
randomize(VERA_CHECK_MODE) returns 0.
+vera_enable_solver_trace
Enables a debug mode that displays diagnostics when the
randomize() method is called.