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

Hi Lisa,

 

I am attaching an updated version:

 

1.	I deleted these lines and fixed typos in Annex A of this
proposal (headings and numeration)
2.	Fixed example f to point to a normal concurrent assertion

 

Thanks,

Dmitry

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Lisa Piper
Sent: Thursday, September 27, 2007 9:21 PM
To: john.havlicek@freescale.com
Cc: sv-ac@server.eda-stds.org
Subject: RE: [sv-ac] call to vote on 1728

 

I vote yes on 1728 - let with the following friendly amendments:

 

1. At the bottom of the document there lists changes to 

 

A.2.10. Assert declarations

 

ADD at the end

 

A.2.10 Expressions

 

REPLACE

 

There is no "A.2.10 Expressions" and it does not say what to add.  I
suspect the middle two lines need to be deleted.

 

2. Examples "f" include example of concurrent assertions in procedural
code which is not discussed until 16.14. I'm not sure that it adds much
so you might want to delete that part of this example or change it to a
normal concurrent assertion.

 

Lisa

 

 

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Tuesday, September 25, 2007 3:31 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] call to vote on 1728

 

Hi Folks:

 

This is the call to vote on the revised proposal for 

1728.  The document on Mantis is LetConstruct1728_070921_dk.pdf.

 

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

 

J.H.

 

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

 

Ballot on Mantis 1728 

 

- Called on 2007-09-25, final ballots due by 2007-10-02 T 23:59-07:00.

 

 

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

 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     

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

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

 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale -
Chair)

 v[xxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel -
Co-Chair)

 v[xx-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[xxxxxx..............................] Johan Martensson (Jasper)

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

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

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

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

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

 v[xxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)

   |------------------------------------ attendance on 2007-09-25

 |-------------------------------------- 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 <http://www.mailscanner.info/> , and is

believed to be clean. 
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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