Re: [Iverilog-devel] Always blocks with out delays (pr1862744)

[Cary R. <cy...@ya...>]

--- On Fri, 4/18/08, Stephen Williams <st...@ic...> wrote:


> I would sat that non-blocking assignments have zero delay,
> by
> the way, because they do not block execution. I think you
> mean
> that blocking assignments with internal delays should
> return
> has_delay of true, because they do have delay, and they
> pause
> the thread.

Yes that is correct!
 
> By the way, this handling can also be used to detect the
> erroneous case of a user defined function that *has* a
> delay.
> This is illegal but currently it is not detected and
> reported.

If we give has_delay a pessimism flag this could work. An always wants to be conservative (always has a delay). While the function definition wants to be pessimistic (find any delay).

Cary


      ____________________________________________________________________________________
Be a better friend, newshound, and 
know-it-all with Yahoo! Mobile.  Try it now.  http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ