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

Hi guys-- I have a question about this one.  In the proposal I see
	-- If used in an action block of a Multiclocked assertion, the
leading clock of the assertion is used 

But section 16.15.1 seems to define a "set of semantic leading clocks of
a multiclocked property", so the clock is not necessarily unique.  Is
there an issue here?


-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Wednesday, January 23, 2008 7:10 PM
To: sv-ac@server.eda.org
Subject: [sv-ac] call to vote on 1698

Hi Folks:

This is the call to vote on 1698.

The proposal on Mantis is

   1698_sampled_value_functions_08_01_23.pdf

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

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 1698

- Called on 2008-01-23, final ballots due by 2008-01-28 T 23:59-08:00.

 v[xxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[xxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[-----------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)  v[xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv
Fais (Freescale)  t[xxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
John Havlicek (Freescale - Chair)
v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)
v[xxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha
Kulshrestha (Mentor Graphics)
n[x-------------------------------------------------] Ah-Lam Lee
(Qualcomm)  n[-------------------------------xxxxx-------x-xx-x-] Jiang
Long (Mentor Graphics)
n[----------x------------x--xxx.....................] Joseph Lu (Altera)
v[-xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson
(Jasper)  n[----------------------------x--x-xx--xx-xxxxxxx-x-] Hillel
Miller (Freescale)
v[xxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)  v[xxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik
Seligman (Intel)  n[--------x-x----x--------xxxx-----xxxx-xx----------]
Tej Singh (Mentor Graphics)
v[-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)  v[xxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom
Thatcher (Sun Microsystems)
   |-------------------------------------------------- attendance on
2008-01-22
 |---------------------------------------------------- voting
eligibility for this ballot
|----------------------------------------------------- e-mail votes 
|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 a 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.