Re: gEDA: Icarus Verilog: Is it bug??

[Jim Battle <frustum-at-NOSPAMpacbell_dot_net>]

Stephen Williams wrote:
>      this <= #1 (reset) ? 0 : that;
>      foo  <= #1 (reset) ? 0 : bar;
> 
> frustum@pacbell.net said:
> 
>>if reset is 'bx, then this and foo will both get set to 'x. 
> 
> 
> Not quite. If that is 0, then this will get 0, no matter what
> reset is. Same for bar and foo.

yes, you are right.  ?: is smart about x propagation; this is the 
equivalent of a 2:1 mux where both data ins are 0 and the select is X.