Subject: RE: [sv-bc] Is TIME integer or non_integer type?
From: David W. Smith (dwsmith@synopsys.com)
Date: Wed Feb 11 2004 - 09:07:51 PST
Hi Shalom,
Are int, longint, shortint, byte, and bit all the same type? The only difference is the size of the value. Time by the way is not
"at least" 64 bits. It is exactly 64 bits. The only reason that integer is "at least" was due to backward compatibility and really
it should be exactly 32 bits.
Regards
David
-----Original Message-----
From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of Shalom.Bresticker@motorola.com
Sent: Wednesday, February 11, 2004 8:45 AM
To: sv-bc@eda.org
Subject: Re: [sv-bc] Is TIME integer or non_integer type?
I would like to bring this up again.
I started reading Section 3 yesterday and immediately noticed this
blatant inconsistency. However, I remembered that someone had
brought this up before.
I would also like to point out that 'time' is much closer to being
an integer type than it is to being a non-integer type.
In fact, for most purposes 'time' and 'integer' are almost the same,
except that 'time' has at least 64 bits and is unsigned, whereas
'integer' is at least 32 bits and signed. Other than that, each
can be used where the other can as well.
Shalom
On Mon, 12 Jan 2004, Brad Pierce wrote:
> This change would also impact simple_type. (See Syntax 3-6.)
>
> I think it would be counterproductive to modify the BNF for
> this issue. If any change is needed it would be remove time
> from Table 3-1.
>
> Note also that according to 1364 3.9, a time variable has
> "at least" 64 bits, not necessarily exactly 64 bits.
>
> -- Brad
>
> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org]On Behalf Of Brad
> Pierce
> Sent: Wednesday, December 17, 2003 6:49 PM
> To: sv-bc@eda.org
> Subject: RE: [sv-bc] Is TIME integer or non_integer type?
>
>
> That BNF change would also entail adding 'time'
> to data_type_common_item.
>
> -- Brad
>
> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org]On Behalf Of Brad
> Pierce
> Sent: Wednesday, December 17, 2003 6:29 PM
> To: sv-bc@eda.org
> Subject: Re: [sv-bc] Is TIME integer or non_integer type?
>
>
> I agree. It would make sense to move 'time' into
> integer_type
>
>
> integer_type ::=
> integer_vector_type
> | integer_atom_type
> | 'time'
>
> non_integer_type ::=
> 'shortreal'
> | 'real'
> | 'realtime'
>
>
> -- Brad
>
>
> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org]On Behalf Of Andy
> Tsay
> Sent: Wednesday, December 17, 2003 4:15 PM
> To: sv-bc@eda.org
> Subject: [sv-bc] Is TIME integer or non_integer type?
>
>
> Hi,
>
> Type time is included in table 3-1 in SV 3.1a/draft2 LRM, so
> it is one of the integer data types.
>
> The SV 3.1a/draft2 LRM, Section 3.2, also says
> non_integer_type ::= time | shortreal | real | realtime
>
> So, the type time
> a) is one of the integer data types, and
> b) is one of the non_integer_type.
>
> I do not know how to explain this to my kids.
> Can someone help on this?
>
> Thanks,
> Andy
>
-- Shalom Bresticker Shalom.Bresticker@motorola.com Design, Verification & Reuse Methodology Tel: +972 9 9522268 Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890 POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478
This archive was generated by hypermail 2b28 : Wed Feb 11 2004 - 09:14:31 PST