User guide

11-6
Race Detection
Note:
The race.unique.out is automatically created by the PostRace.pl
Perl script after simulation. This script needs a perl5 interpreter.
The first line of the script points to perl at a specific location, see
"Modifying the PostRace.pl Script" on page 11-10. If that location
at your site is not a perl5 interpreter, the script fails with syntax
errors.
The report describes read-write and write-write race conditions. The
following is an example of the contents of a small race.out file:
Synopsys Simulation VCS RACE REPORT
0 "c": write test (exp1.v: 5) && read test (exp1.v:23)
1 "a": write test (exp1.v: 16) && write test (exp1.v:10)
1 "c": write test (exp1.v: 5) && read test (exp1.v:17)
END RACE REPORT
The following explains a line in the race.out file:
Simulation time
when VCS detected
the race condition
Identifier of the
signal whose
value change is in
the race condition
Shorthand term for
assigning a value to
the signal
Identifier of the
module definition
where VCS finds the
write operation
1 "c": write test (exp1.v: 5) && read test (exp1.v:17)
Filename and line
number where VCS
finds the write operation
Delimiter between
information for a
a write and a read
operation or between
two write operations
Identifier of the
module definition
where VCS finds
the read operation.
Filename and line
number where VCS
finds the read operation
Shorthand term for
using a signal’s
value in another operation