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

 

 

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Tuesday, November 27, 2007 2:27 AM
To: john.havlicek@freescale.com; sv-ac@eda.org
Subject: RE: [sv-ac] call to vote on 1503

 

I vote yes with the following friendly amendments:

 

38.3.2 Obtaining static assertion information, Page 7

I think that "Sequence Instance" should be "Sequence instance", and

"Property Instance" should be "Property instance". Also, why

"ImmediateAssert" is written as one word (this is the original text). It

is not defined anywhere, there is vpiImmediateAssert.

[Lisa Piper >>>] I don't know, but it is repeated in 1729 that adds:

 

- ImmediateAssert

- ImmediateAssume

- ImmediateCover

 

I had actually cut off the ImmediateAssert and the text that followed it
since I was not changing that text and wanted to make this independent
on 1729.  Should I add it back including the ImmediateAssume and
ImmediateCover and add the space to make each two words?

 

- Immediate assert

- Immediate assume

- Immediate cover

 

 

38.4.2, Page 8.

 

It is written:

- cbAssertionSuccess. An assertion attempt reaches a success state. For

property or sequence instances, success is a match.

- cbAssertionFailure. An assertion attempt fails to reach a success

state. For property or sequence instances, failure is no match.

 

The second sentence is ambiguous: does cbAssertionFailure relate to each

time point where the sequence does not match or to the time point where

it is detected that the sequence cannot be matched? I think that the

latter is correct. Also it is better to talk about the success state of

a property instead of the match.

 

I would formulate it as:

- cbAssertionSuccess. An assertion attempt or a property instance

reaches a success state. For sequence instances, success is a match.

- cbAssertionFailure. An assertion attempt or a property fails to reach

a success state, or sequence instance fails to match.

 

Thanks,

Dmitry

 

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

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On

Behalf Of John Havlicek

Sent: Wednesday, November 21, 2007 3:21 PM

To: sv-ac@server.eda.org

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

 

Hi Folks:

 

This is the call to vote on the proposal for Mantis 1503.

 

I am a bit late in sending this as I didn't see Lisa's mail

until this morning.

 

I am going ahead with the vote.  If anyone objects to this,

simply vote no with the rationale that the ballot period was

a bit too short.

 

The proposal on Mantis is

 

   1503_vpi_071120.pdf

 

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

 

J.H.

 

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

----------

Ballot on Mantis 1503

 

- Called on 2007-11-21, final ballots due by 2007-11-26 T 23:59-08:00.

 

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

 v[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)

 

 n[----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani

(Synopsys)

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

 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale

- Chair)

 v[xxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel

- Co-Chair)

 v[xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha

(Mentor Graphics)

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

Graphics)

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

 v[xxxxxxxxxxxxx..............................] Johan Martensson

(Jasper)

 n[---------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller

(Freescale)

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

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

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

Graphics)

 v[-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara

(Synopsys)

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

Microsystems)

   |------------------------------------------- attendance on 2007-11-20

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

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

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.

 

 


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