[sv-ac] RE: Comments to Mantis 2328

Hi Scott,

You are right, it might be (when is treated as a handle).

Thanks,
Dmitry

From: Little Scott-B11206 [mailto:B11206@freescale.com]
Sent: Monday, August 15, 2011 15:32
To: Korchemny, Dmitry; sv-ac@eda-stds.org
Subject: RE: Comments to Mantis 2328

Hi Dmitry:

I will fix the first item.

Why would local variables of type event not be allowed? I would expect that I could create a local variable for any type of variable I can have in a concurrent assertion.

Thanks,
Scott

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Sunday, August 14, 2011 9:11 AM
To: 'Scott Little (scott.little@gmail.com)'; sv-ac@eda-stds.org
Subject: [sv-ac] Comments to Mantis 2328

Hi Scott,

I have several comments regarding 2328.

The new version of 16.8.1 Typed formal arguments in sequence declarations reads:

If a formal argument of a named sequence is typed, then the type shall be sequence, event, or one of the types
allowed in 16.6.1. The

However, in 16.6 type event is already allowed.

16.8.2 Local variable formal arguments in sequence declarations states:

The type of a local variable argument shall be one of the types allowed in 16.6.1.

Again, according to the new definition, events are legal in sequences, e.g., ev1 == ev2. However, this does not mean that a local variable may be of type event.

Thanks,
Dmitry

---------------------------------------------------------------------
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<http://www.mailscanner.info/>, and is
believed to be clean.
---------------------------------------------------------------------
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.