Analyze Race | Command Dictionary |
|
|
∙
An optional switch that specifies for FlexTest to display an error message for the first race condition it encounters and then stop the simulation. You can use the Report Gates command with the Set Gate Report commands Race option to investigate the cause of the race condition error.
Examples
The following example checks and displays the results of possible race conditions:
analyze race edge -warning
//No race conditions found at timeframe ‘0’ with all clocks off
//Warning: ‘I_3_16/DFF1/(107)’ with type ‘DFF’ may have race condition at port 2 at timeframe 0 with the clock ‘CLK’ on
//Warning: ‘I_14_16/DFF1/(141)’ with the ‘DFF’ may have race condition at port 2 at timeframe 0 with the clock ‘CLK’ on
//No race conditions found at timeframe ‘0’ with clock ‘CLR’ on
Related Commands |
|
Report Gates | Set Gate Report |
Set Race Data |
|
FastScan and FlexTest Reference Manual, V8.6_4 |