RE: [sv-ac] call to vote on Mantis 1668

Hi John,

I have some questions:

1668-formal-semantics.pdf:
1. the coloring needs to be reviewed. Specifically there appears to be
very little purple and LOTS of blue. I think all of the ""local variable
declaration" form" should be purple if you stick to the current coloring
scheme at the beginning. There are entire sections that are blue that I
suspect should be purple. Since new text is normally blue, I suggest
putting 1549 dependencies in purple and keeping all 1668 additions in
blue. Also, minimize 1549 references to de-couple this as much as
possible, though it is likely that this will not make sense to the
editor until 1549 is also approved. 

1668-2007-09-03.pdf:
1. Why did you choose to say that local variables have no initial
default versus a default that is based on their type? Otherwise, I
assume the local variable types are treated like types in properties and
sequences (e.g. bit casting to the specified type)

2. It is not clear to me when local variable declaration assignments
occur. It states that the Preponed value of that timestep is used. In
the example shown, is this the Preponed value relative to clk1 and clk2
for the two copies of the local variable? But exactly when is the
assignment made? For example, what happens if I say:

	property p;
	logic v = e1;
	(@(posedge clk1) (1, v = e2) ##0 (a == v)[*1:$] |-> b)
	and
	(@(posedge clk2) (1, v = e3) ##0 c[*1:$] |-> d == v)
	;
	endproperty

Lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Monday, September 17, 2007 9:10 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] call to vote on Mantis 1668

Hi Folks:

This is the call to vote on Mantis 1668, as discussed in
our last meeting.

The documents that are being voted on are 1668-2007-09-03.pdf
and 1668-formal-semantics.pdf on Mantis.

Please vote if you are eligible.  See the details below.

Best regards,

J.H.

------------------------------------------------------------------------
--------------

Ballot on Mantis 1668 

- Called on 2007-09-17, final ballots due by 2007-09-24 T 23:59-07:00.


 v[xxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[-------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
 v[xxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel -
Co-Chair)
 v[-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[xxxx..............................] Johan Martensson (Jasper)
 n[------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
 v[xxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[xxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
 v[--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
   |---------------------------------- attendance on 2007-09-11
 |------------------------------------ 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)
		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.