RE: [sv-bc] [Fwd: Issues with IEEE 1364-2005]

From: Jonathan Bromley <jonathan.bromley_at_.....>
Date: Sat Aug 12 2006 - 02:02:34 PDT
> Greg Jaxon pointed out to me that it would be more natural to define
> 
>     A ? B   -->   A ?  B : '0
> 
>     A ?: B  -->   A ? '1 :  B

That's pretty, but very scary to me:  I can all too easily
imagine people writing 

  Y = A ? B;

and wrongly assume that they're getting

  if (A) Y = B;


I agree with Doug Warmke that, given the lack of prior 
definition, it's hard to see what's bad about mandating
short-circuit semantics for && and ||.  Programmers who
invoke operations with side-effects in such a context
deserve any surprises they may get :-)
-- 
Jonathan Bromley, Consultant

DOULOS - Developing Design Know-how
VHDL * Verilog * SystemC * e * Perl * Tcl/Tk * Project Services

Doulos Ltd. Church Hatch, 22 Market Place, Ringwood, Hampshire, BH24 1AW, UK
Tel: +44 (0)1425 471223                   Email: jonathan.bromley@doulos.com
Fax: +44 (0)1425 471573                           Web: http://www.doulos.com

The contents of this message may contain personal views which 
are not the views of Doulos Ltd., unless specifically stated.
Received on Sat Aug 12 02:02:39 2006

This archive was generated by hypermail 2.1.8 : Sat Aug 12 2006 - 02:03:01 PDT