User guide

21-33
OpenVera Native Testbench
In cases where the out-of-bound index is directly specified as
a constant expression as in the following example there is an
error at compile time itself.
program p
{
bit ia[4];
integer i;
i = ia[4]; // Or i = ia[1'bx];
}
The error message in this case is:
Error-[IRIMW] Illegal range in memory word
Illegal range in memory word shown below
"mda_2.vr", 7: ia[4]
Enables the built-in checker to identify any null-pointer access.
For example, a list or class object being used without
initialization.
Enables printing a thread stack trace upon a verification or null
check error. This is very useful debug feature that helps to
identify the caller of the thread in which the error occurs.
Prints the time and expected outputs of an expect statement
upon a verification error.
dep_check
Enables dependency analysis. Detects files with circular
dependencies and issues an error message when VCS cannot
determine which file to compile first.
no_file_by_file_pp
By default, file by file preprocessing is done on each input file,
and the concatenated result is fed to the parser. To disable this
behavior, use no_file_by_file_pp.