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

John,

 

I vote yes with three friendly amendments (in 2 places)

 

1. the proposal says default disable iff applies to assert property,
cover property, and assume property. 

 

     It provides a default disable condition to the assert, assume, and

     cover property statements in the scope of the default disable 

     declaration.

 

With 1768, we proposed adding "cover sequence" as you know, and we want
this to apply. I therefore recommend changing this to say "all
concurrent assertions" instead of what is currently says to avoid the
dependencies.  

 

2. such form is as indicated in the comment above a8.

 

3. we state that this can appear in a module, interface, or program
block and we re-define the syntax for
Module_or_generate_declaration_item but we do not re-define
non_port_program_item. I would think there would exist a similar
declaration for an interface though I did not see it on a cuick glance.

 

 

Lisa One

 

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Wednesday, August 29, 2007 4:25 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] call to vote on 1648

 

Hi Folks:

 

This is the call to vote on the revised proposal for Mantis 1648

that addresses feedback from the Champions.

 

The revised proposal is default_disable_1648.070829.pdf on Mantis

and was also attached to a previous mail of mine.

 

As we agreed in our meeting on 2007-08-28, this ballot will close

at 23:59 PDT on 2007-08-31.  Please vote if you are eligible.  See

the details below.

 

J.H.

 

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

 

Ballot on Mantis 1648

 

- Called on 2007-08-29, final ballots due by 23:59 PDT on 2007-08-31.

 

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

 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     

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

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

 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)

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

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

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

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

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

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

 v[xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)

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

   |-------------------------------- attendance on 2007-08-28

 |---------------------------------- 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.