Subject: Re: [sv-bc] Is TIME integer or non_integer type?
From: Shalom.Bresticker@motorola.com
Date: Wed Feb 11 2004 - 08:45:08 PST
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 - 08:55:01 PST