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, and is
believed to be clean.