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

Hi Dmitry and Bassam,

 

I vote yes if the following comments are considered:

 

1.	There are two 36.41 Clocking Block diagrams and the second one
does not reflect the changes from the first one.  This might confuse the
editor.  Can they be combined or minimally move the first one to after
the second one. 
2.	In 36.76 Let declaration, 

	a.	I think you need to cross out the vpiDefFile and
vpiDefLineNo as was done on the other diagrams.
	b.	Is "seq formal decl" correct?  It can only be a boolean
expression, not a sequence or a named event

3.	 "The cbAssertionStart, cbAssertionSuccess, and
cbAssertionFailure callbacks may also be registered on a sequence
instance or a property instance."     This is almost true.  The property
or sequence instance MUST be contained in an assertion statement.  For
example, a sequence that is instantiated in a property that is never
asserted will never Start, Succeed, or Fail.  How about:   "The
cbAssertionStart, cbAssertionSuccess, and cbAssertionFailure callbacks
may also be registered on a sequence instance or property instance that
is instantiated in an assertion statement."    
4.	38.5.2  "verification statements"  should be "assertion
statements" (2 times)
5.	 I am confused as to why vpiClockedProp exists.  There is no
diagram for "clocked property" as there is for "clocked seq"  Should
there be?

 

Lisa

 

 

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Friday, April 11, 2008 11:43 AM
To: sv-ac@eda.org
Subject: [sv-ac] call to vote on 1503

 

Hi all,

 

This is the call to vote on the proposal for 1503. SV-CC has already
approved this proposal.

The document on Mantis is

 

  1503_latest.pdf

 

Please, vote if you are eligible.

 

Dmitry

 

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

----------

Ballot on Mantis 1503

 

- Called on 2008-04-11, final ballots due by 2008-04-14 T 23:59-08:00
PDT.

 

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

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

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

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

 v[xxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John
Havlicek (Freescale)

 t[xxxx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx]
Dmitry Korchemny (Intel - Chair)

 y[xx--xx-x-xxxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx]
Manisha Kulshrestha (Mentor Graphics)

 n[----------x-x-------------------------------------------------]
Ah-Lam Lee (Qualcomm)

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

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

 n[--------x-x--xxxxxxxxxxxxxxxxxxx.............................] Johan
Martensson (Jasper)

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

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

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

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

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

 v[xxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom
Thatcher (Sun Microsystems - Co-Chair)

   |------------------------------------------------------ attendance on
2008-04-08

 |-------------------------------------------------------- voting
eligibility on 2008-04-08

        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

 

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

believed to be clean. 

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