From: Steven Sharp (sharp@cadence.com)
Date: Wed Apr 17 2002 - 13:22:14 PDT
Precedence: bulk
>> initial begin
>> b = 0; // everyone agrees - the block should fire.
>>
>> #5 mem[1] = 0; // fire, or not?
>> #5 b = 1; // fire, or not (note that we can't fire now, if we fired at
>>#5
Oh, and if we fired at time 0, this is a race condition again. It depends
on whether the "b = 1" happens before or after the #10 in the always block
completes and the always block executes the event control again. Both
happen at time 10. But these race conditions have nothing to do with @*.
They would be just as undefined if a normal event control were used.
@* has enough problems of its own, without taking the blame for unrelated
race conditions too.
Steven Sharp
sharp@cadence.com
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:55:35 PDT
and
sponsored by Boyd Technology, Inc.