RE: [sv-ac] call to vote on 1549

I third that!  It should be another Mantis item.

lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Wednesday, October 17, 2007 3:16 PM
To: john.havlicek@freescale.com; Manisha_Kulshrestha@mentor.com
Cc: sv-ac@eda.org
Subject: RE: [sv-ac] call to vote on 1549

I would handle it separately.

Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Wednesday, October 17, 2007 9:14 PM
To: Manisha_Kulshrestha@mentor.com
Cc: john.havlicek@freescale.com; sv-ac@server.eda.org
Subject: Re: [sv-ac] call to vote on 1549

Hi Manisha:

Yes, this limitation is a part of the current proposal.

The point you are making has been discussed in SV-AC on several
occasions.

One argument has been that we need to keep tight control over what
kinds of types can be used in the boolean expressions of sequences and
properties to avoid making the model checking problem undecidable.

Another argument has been that allowing other types that get passed
only to match items can be useful.

I think that the balance of opinion was that it is not high priority
at the moment to open up the capability for other types (e.g.,
strings), but that it can be done in the future by lifting some of the
current restrictions.

If one wants to lift the restrictions now, then 16.5.1 will need to be
modified and the language describing how the new types can be used
will need to be added.  It will also need to be specified whether
passing of arguments of the new types through untyped formal arguments
is allowed.

J.H.

> X-Authentication-Warning: server.eda.org: majordom set sender to
owner-sv-ac@eda.org using -f
> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Wed, 17 Oct 2007 11:40:34 -0700
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: [sv-ac] call to vote on 1549
> Thread-Index: AcgQTtGu5o0/QktRSzOAovnAesW3TAAnbyoA
> From: "Kulshrestha, Manisha" <Manisha_Kulshrestha@mentor.com>
> X-OriginalArrivalTime: 17 Oct 2007 18:40:36.0342 (UTC)
FILETIME=[350D5960:01C810ED]
> X-eda.org-MailScanner: Found to be clean, Found to be clean
> X-Spam-Status: No, No
> X-MIME-Autoconverted: from quoted-printable to 8bit by server.eda.org
id l9HIf08l013856
> Sender: owner-sv-ac@eda.org
> X-eda.org-MailScanner-Information: Please contact the ISP for more
information
> X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org
> 
> Hi John,
> 
> The current proposal says:
> "
> 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.5.1. The following rules apply to typed
> formal arguments and
> their corresponding actual arguments"
> 
> I am just wondering that the formals of a sequence and property are
not
> used just to create Boolean expressions. They can also be passed to
the
> subroutines when sequence matches. These subroutines have no
restriction
> on the type of arguments. So by putting the restriction on the formals
> we are limiting the use of these formals in match items.
> 
> Thanks.
> Manisha
> 
> -----Original Message-----
> From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]
On
> Behalf Of John Havlicek
> Sent: Tuesday, October 16, 2007 4:46 PM
> To: sv-ac@server.eda.org
> Subject: [sv-ac] call to vote on 1549
> 
> Hi Folks:
> 
> This is the call to vote on the proposal for Mantis 1549.
> 
> The documents on Mantis are 
> 
> 1549_2007-10-16_jh.pdf
> 1549.formal_semantics_arguments_passing.2007-10-16.pdf
> 
> The source of the first document is 1549_2007-10-16_jh.doc,
> which is also available.
> 
> Please vote if you are eligible.  See the details below.
> 
> J.H.
> 
>
------------------------------------------------------------------------
> Ballot on Mantis 1549
> 
> - Called on 2007-10-16, final ballots due at 2007-10-23 T 23:59-07:00.
> 
>  v[xxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
>  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)

>  n[-----------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
>  v[xxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
>  t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale -
> Chair)
>  v[xxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel -
> Co-Chair)
>  v[xxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor
> Graphics)
>  n[-------------------xxxxx-------x-xx-x-] Jiang Long (Mentor
Graphics)
>  n[-----------x--xxx.....................] Joseph Lu (Altera)
>  v[xxxxxxxx..............................] Johan Martensson (Jasper)
>  n[----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
>  v[xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
>  v[xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
>  n[---x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
>  v[xxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
>  v[xxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
> Microsystems)
>    |------------------------------------- attendance on 2007-10-16
>  |--------------------------------------- voting eligibility for this
> ballot
> |---------------------------------------- email ballots received
> 
> 	Legend:
> 		x = attended
> 		- = missed
> 		r = represented
> 		. = not yet a member
> 		v = valid voter (2 out of last 3 or 3/4 overall)
> 		n = not valid voter
>                 t = chair eligible to vote only to make or break a tie
> 
> 
> -- 
> 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.
> 
> 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, 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.



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.