User guide

11-5
Race Detection
Specifying the Maximum Size of Signals in Race
Conditions
You use the +race_maxvecsize compile-time option to specify the
largest vector signal for which the dynamic race detection tool looks
for race conditions. The syntax is as follows:
+race_maxvecsize=size
For example, if you enter the following vcs command line:
vcs source.v +race +race_maxvecsize=32
This command line specifies running the dynamic race detection tool
during simulation and looking for race conditions, of both the
read-write and write-write types, for signals with 32 bits or fewer.
Notice that the command line still requires the +race compile-time
option to enable the dynamic race detection tool to start at runtime.
The Race Detection Report
While VCS simulates your design it writes race detection reports to
the files race.out and race.unique.out.
The race.out file contains a line for all race conditions it finds at all
times throughout the simulation. If VCS executes two different
statements in the same time step several times, the race.out file
contains a line for each of those several times.
The race.unique.out file contains lines only for race conditions that
are unique, and which have not been reported in a previous line.