RE: [sv-bc] Resend: E-mail Ballot: Respond by 8am PDT, Tuesday, March 25

I would support adding $signed and $unsigned to Annex C.3, on items
identified for possible future deprecation.

Stu
~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland
stuart@sutherland-hdl.com
+1-503-692-0898

> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
> Brad Pierce
> Sent: Wednesday, March 26, 2008 12:30 PM
> To: sv-bc@eda.org
> Subject: RE: [sv-bc] Resend: E-mail Ballot: Respond by 8am PDT,
> Tuesday, March 25
> 
> Should $signed and $unsigned be deprecated?
> 
> -- Brad
> 
> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
> Steven Sharp
> Sent: Wednesday, March 26, 2008 10:04 AM
> To: sharp@cadence.com; sv-bc@eda.org; matthew.r.maidment@intel.com;
> shalom.bresticker@intel.com
> Subject: RE: [sv-bc] Resend: E-mail Ballot: Respond by 8am PDT,
> Tuesday,
> March 25
> 
> 
> >From: "Bresticker, Shalom" <shalom.bresticker@intel.com>
> 
> >I would maintain that since $signed() was not defined in 1364 for
> >2-state types (since there were not any), that 1800 is free to define
> >its result for 2-state types in any logical back-compatible way, just
> as
> >1800 has done for other operations from 1364.
> 
> I agree that this is true.  However, since having properties of the
> function return type depend on properties of the argument type is
> extremely unusual, I would prefer to minimize it.  Therefore I will
> continue to maintain that it applies only to the width, and that the
> return type is still a generic vector of logic, independent of the
> argument type.
> 
> 
> >But I agree that this implicitly defines that $signed() returns a
> >2-state result for a 2-state argument as well as explicitly defining
> >that for sign casting.
> 
> Some people might infer this.  I don't.
> 
> Steven Sharp
> sharp@cadence.com
> 
> 
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
> 
> 
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
> 



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