[sv-ac] RE: Updated version of 2328

Hi, Scott.

On 16.5:

There is nothing inherently "time-y" about the realtime data type.
6.12 is very explicit that real and realtime are the same and are completely interchangeable.
The keyword 'realtime' only exists for convenience.

Similarly, the data type 'time' is a synonym for 'logic [63:0]'.
A time variable can be used for non-time 64-bit values, and time values can be held in non-time data types.

There is no need to make a distinction here between the time/realtime data types and other data types.

In 16.6 et al, did you intent to require that all functions be automatic? Is that really backward-compatible?

In 17.2, you should fix the grammar at the end of "All checker formal arguments are inputs and they are processed in a similar way as property formal arguments, but the data types of checker formal arguments besides those legal for a property (see 16.13), may also be string."

Regards,
Shalom

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Little Scott-B11206
> Sent: Tuesday, February 01, 2011 2:23 PM
> To: sv-ac@eda.org
> Subject: [sv-ac] Updated version of 2328
>
> Hi all:
>
> I have posted an updated proposal for 2328. You can find it on the
> mantis page as _v1.
>
> http://www.eda-twiki.org/svdb/view.php?id=2328
>
> Thanks,
> Scott

---------------------------------------------------------------------
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.