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

I vote yes with the following friendly amendments:

1. I think the following should be rephrased (location of 'first' does
not look correct):

When these functions are called at or before the first simulation
timestep in which the clocking event occurs,

Should be:

When these functions are called at or before the simulation timestep in
which the first clocking event occurs,

2. The following is not clear: 2) the event expression is maximal among
those of these forms
John has already explained it in the email but the explanation needs to
go into LRM (may be by providing an example and explicitly saying why a
specific clocking event was inferred).

Thanks.
Manisha

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Wednesday, February 13, 2008 5:17 PM
To: sv-ac@eda.org
Cc: doron.bustan@intel.com; eduard.cerny@synopsys.com;
yaniv.fais@freescale.com; john.havlicek@freescale.com;
dmitry.korchemny@intel.com; Kulshrestha, Manisha;
johan.martensson@jasper-da.com; piper@cadence.com;
erik.seligman@intel.com; bassam.tabbara@synopsys.com;
thomas.thatcher@sun.com
Subject: call to vote on 1698

This is the call to vote on 1698.
The document on Mantis is
1698_sampled_value_functions_2008_02_13_jh.pdf.

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

- Called on 2008-02-13, final ballots due by 2008-02-18 T 23:59-08:00.
- Please ensure that Dmitry Korchemny receives your ballot.

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