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

I have a question on 1674.  What is the expected behavior if I have:

	assert property ( @1'b0  blah);

This would be the result is $inferred_clock did not have a current
resolved event expression. Could this ever be intended?  If not then it
would be better to error when $inferred_clock is used but not defined.

Lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Wednesday, April 18, 2007 7:20 AM
To: sv-ac@eda-stds.org
Subject: [sv-ac] call to vote on Mantis 1674

All:

This is the call to vote on the proposal for Mantis 1674.

As discussed in our meeting, this vote runs longer than 
the usual week because we have so many e-mail ballots 
running concurrently.

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

J.H.

Ballot on Mantis 1674

- Called on 2007-04-18, final ballots due by 23:59 PDT on 2007-04-30.

 v[xxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale)
 v[xxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)	
 n[---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[x-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
 v[xxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
 v[xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
 n[---xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 n[x.....................] Joseph Lu (Altera)
 n[x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
 v[xxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[xx-x..................] Erik Seligman (Intel)
 n[-----xxxx-xx----------] Tej Singh (Mentor Graphics)
 v[xxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxxxxxx...............] Tom Thatcher (Sun Microsystems)
   |---------------------- attendance on 2007-04-17
 |------------------------ 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.