User guide

11-14

Race Detection

35 always @( A or C ) begin

36 D = C;

37 B = A;

38 end

40 assign C = B;

The race.out.static file from the compilation of this source code

follows:

Race-[CLF] Combinational loop found

"source.v", 35: The trigger ’C’ of the always block

can cause

the following sequence of event(s) which can again

trigger

the always block.

"source.v", 37: B = A;

which triggers ’B’.

"source.v", 40: assign C = B;

which triggers ’C’.