DoHoldRaceCheck

The DoHoldRaceCheck command checks for race conditions and does a rigorous clock skew analysis on the design.

This command is equivalent to the Options Do Hold/Race Check menu command.

Syntax

The syntax of the DoHoldRaceCheck command is the following.

DoHoldRaceCheck {true|false}

• True enables race checking and full skew analysis.
  
  
• False disables race checking and full skew analysis.
  
  

Abbreviation

Abbreviate the DoHoldRaceCheck command syntax as follows.

dhrc {t|f}

Example

Following is an example of the DoHoldRaceCheck command.

doholdracecheck true