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

Thanks Fais!  I have attached the update.  Also see my comment below.

 

Lisa

 

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Fais
Yaniv-RM96496
Sent: Monday, November 05, 2007 11:00 AM
To: john.havlicek@freescale.com; sv-ac@eda.org
Subject: RE: [sv-ac] call to vote on 1737

 

 

I vote yes with the following friendly amendments:

 

extra bracket on page 3 (twice):

 

cs: cover sequence (s1));

...

e_cs: cover sequence (s2));

 

Page 5:

 

cs: cover sequence !(a===2'b01 || a===2'b10) ##0 s1

 

Should be:

 

cs: cover sequence (!(a===2'b01 || a===2'b10) ##0 s1);

[Lisa Piper >>>] actually, I also forgot the clock!  It should be:

 

cs: cover sequence (@posedge(mclk) !(a===2'b01 || a===2'b10) ##0 s1);

 

 

Yaniv

 

-----Original Message-----

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John

Havlicek

Sent: Tuesday, October 30, 2007 04:16

To: sv-ac@eda.org

Subject: [sv-ac] call to vote on 1737

 

Hi Folks:

 

This is the call to vote on the revised proposal for Mantis 1737.

 

The document on Mantis is

 

   1737_2007_10_24_enablingCondition_d4.pdf

 

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

 

J.H.

 

------------------------------------------------------------------------

----------

Ballot on Mantis 1737

 

- Called on 2007-10-29, final ballots due by 2007-11-05 T 23:59-08:00.

 

 v[xxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)

 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     

 n[------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)

v[xxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)

t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale -

Chair)  v[xxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny

(Intel - Co-Chair)  v[xxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha

Kulshrestha (Mentor Graphics)

n[--------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)

n[------------x--xxx.....................] Joseph Lu (Altera)

v[xxxxxxxxx..............................] Johan Martensson (Jasper)

n[-----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)

v[-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)

v[-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)

n[----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)

v[xxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)

v[xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun

Microsystems)

   |--------------------------------------- attendance on 2007-10-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 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.