User guide

11-9
Race Detection
-sig signal
Specifies the signal that you want to examine for race conditions.
You can only specify one signal and must not include a
hierarchical name for the signal. If two signals in different module
instances have the same identifier, the report lists race conditions
for both signals.
-minmax min max
Specifies the minimum, or earliest, simulation time and the
maximum, or latest, simulation time in the report
-nozero
Omits race conditions that occur at simulation time 0.
-uniq
Omits race conditions that also occurred earlier in the simulation.
The output is the same as the contents of the race.unique.out file.
-f filename
Specifies the name of the input file. Use this option if you changed
the name of the race.out file
-o filename
The default name of the output file is race.out.post. If you want a
different name, specify it with this option.
You can enter more than one of these options on the PostRace.pl
command line.
If you enter an option more than once, the script uses the last of these
multiple entries.
The report generated by the PostRace.pl script is in the race.out.post
file unless you specify a different name with the -o option.