User guide

11-8
Race Detection
• Also at simulation time 1 there is a procedural assignment to reg
c on line 5 and the value of reg c is in an expression that is
evaluated in a procedural assignment to another register on line
17.
Races of No Consequence
Sometimes race conditions exist, such a write-write race to a signal
at the same simulation time, but the two statements that are assigning
to the signal are assigning the same value. This is a race of no
consequence and the race tool indicates this with
**NC at the end of
the line for the race in the race.out file.
0 "r4": write test (nc1.v: 40) && write test
(nc1.v:44)**NC
20 "r4": write test (nc1.v: 40) && write test
(nc1.v:44)**NC
40 "r4": write test (nc1.v: 40) && write test
(nc1.v:44)**NC
60 "r4": write test (nc1.v: 40) && write test (nc1.v:44)
80 "r4": write test (nc1.v: 40) && write test
(nc1.v:44)**NC
Post Processing the Report
VCS comes with the PostRace.pl Perl script that you can use to
post-process the race.out report to generate another report that
contains a subset of the race conditions in the race.out file. You
include options on the command line for the PostRace.pl script to
specify this subset. These options are as follows:
-hier module_instance
Specifies the hierarchical name of a module instance. The new
report lists only the race conditions found in this instance and all
module instances hierarchically under this instance.