User guide

C-4
Simulation Options
+ntb_solver_mode=value
Allows you to choose between one of two constraint solver modes.
When set to 1, the solver spends more preprocessing time in
analyzing the constraints during the first call to randomize() on
each class. Therefore, subsequent calls to randomize() on that
class are very fast. When set to 2, the solver does minimal
preprocessing, and analyzes the constraint in each call to
randomize(). The default is 2.
+ntb_stop_on_error
Causes the simulation to stop immediately when it encounters a
simulation error, and opens the CLI debugging environment. In
addition to normal verification errors, this option halts the
simulation in case of runtime errors. The default setting is to
execute the remaining code within the present simulation time.
Options for Simulating OpenVera Assertions
-ova_quiet [1]
Disables printing results on screen. The report file is not affected.
With the 1 argument, only a summary is printed on screen.
-ova_report [filename]
Generates a report file in addition to printing results on screen.
Specifying the full path name of the report file overrides the default
report name and location.
-ova_verbose
Adds more information to the end of the report, including
assertions that never triggered, attempts that did not finish, and
a summary with the number of assertions present, attempted, and
failed.
-ova_name name | pathname
Specifies an alternative name, or location and name, for the