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

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.