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.