RE: [sv-ac] reminder to vote on mantis 1550

Hi,

I vote no even though I am not elligible. The reason is that it is not
clear what the intialized values are of the $ functions.

The current schedular code shows an initialization process, before going
into the first preponed area (see below). This means that the initial
value of an expression is determined by its initilization at time slot 0
and not by its default type value as specified in the proposal.

execute_simulation {
T = 0;
initialize the values of all nets and variables;
schedule all initialization events into time 0 slot;
while (some time slot is nonempty) {
move to the next future nonempty time slot and set T; 
execute_time_slot (T);
}
}

Hillel Miller>


-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Tuesday, January 23, 2007 9:35 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] reminder to vote on mantis 1550

All:

This is a reminder that a vote on mantis 1550 was called in today's
meeting.  Please see the details below.

J.H.

Ballot on Mantis 1550

- Called on 2007-01-23, final ballots due by 23:59 PST on 2007-01-30.
- Voting eligibility for this ballot is shown below.
- If you are eligible to vote then please do, as 80% participation
  in ballots is required to maintain eligibility.

 n[-------xxx------] Shalom Bresticker (Intel)  v[xxxxxxxxxxxxx-xx]
Doron Bustan (Freescale)
 v[xxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)	
 n[---x-x-xxx-x---x] Surrendra Dudani (Synopsys)  v[x-xxx-xxx-------]
Yaniv Fais (Freescale)  n[---x------x-----] Faisal Haque (Cisco)
t[xxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
v[xxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
n[---------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
v[xx-------x-xx-x-] Jiang Long (Mentor Graphics)  n[x--xx-xxxxxxx-x-]
Hillel Miller (Freescale)  n[-----xx-xxx-----] Don Mills (Microchip)
v[xxxxxx-xxxxxxxxx] Lisa Piper (Cadence)  v[xxx-xx----------] Tej Singh
(Mentor Graphics)  n[------xx-x------] Stu Sutherland (Sutherland HDL)
v[xxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)  n[x...............] Tom
Thatcher (Sun Microsystems)
   |--------------- attendance on 2007-01-23
 |----------------- 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.