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

Hi Erik,

but once clock flow is applied then the max property of the assertion
must have a unique leading clock.

ed 

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of Seligman, Erik
> Sent: Thursday, January 24, 2008 1:52 PM
> To: john.havlicek@freescale.com; sv-ac@eda.org
> Subject: 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.
> 
> 
> 

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