RE: [sv-bc] condition type expressions

By the way, for the particular example, we use a global definition:

`ifdef TWO_STATE
        typedef node bit;
`else
        typedef node logic;
`endif

Shalom

> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On
> Behalf Of Gordon Vreugdenhil
> Sent: Tuesday, June 15, 2010 11:09 PM
> To: Paul Graham
> Cc: sv-bc
> Subject: Re: [sv-bc] condition type expressions
>
> I'm sure that there would be uses for it, yes. Obviously one
> can make the type algebra much more interesting than it is
> now by allowing such forms. But where does one draw the
> line? Just defaults of parameter types? What about overrides
> from parent modules? Conditional dimensions of an array? Conditional
> fields of a struct? Conditional qualifications (signed/packed)?
>
> I'm not terribly interested in going through such things unless
> there are compelling reasons for which there aren't existing
> solutions.
>
> Gord.
>
> Paul Graham wrote:
> > Would it be useful to allow a conditional type expression
> like the following?
> >
> > parameter two_state = 1;
> > parameter type t = two_state ? bit : logic;
> >
> > You can get a similar effect using an extra level of hierarchy:
> >
> > generate
> > if (two_state)
> > sub #(bit) u1();
> > else
> > sub #(logic) u1();
> > endgenerate
> >
> > Paul
> >
>
> --
> --------------------------------------------------------------------
> Gordon Vreugdenhil 503-685-0808
> Model Technology (Mentor Graphics) gordonv@model.com
>
>
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
>
>
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.