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

Hello Hillel,
But the functions use $sampled values which are to be before time 0.
Hence the initialization to the default value of the type. What else
would you suggest?ed
 


________________________________

	From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf
Of Miller Hillel-R53776
	Sent: Wednesday, January 24, 2007 8:53 AM
	To: Havlicek John-r8aaau; sv-ac@eda-stds.org
	Subject: 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
<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 <http://www.mailscanner.info/>
, and is 
	believed to be clean. 


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