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

Hi Erik,

 

I vote no. This was my first real review of this so I have several
questions/comments. 

 

1. In the following text:

 

The following example illustrates how user code can explicitly flush a
pending assertion report. In this case, failures of a1 are only reported
in time steps where bad_val_ok does not settle at a value of 1.

 

always @(bad_val or bad_val_ok) begin : b1

   aa: assert #0 (bad_val) else $fatal("Sorry");

   if (bad_val_ok)

   disable a4;

end

 

the reference to a1 does not exist in the example. Also, the target of
the disable "a4" does not exist.  I suspect aa -> a1 and a4 -> b1.

 

2. as with disable of a block, there where probably be references to
assertion disables via VPI or $assertkill/$assertoff

 

3. in 9.6.2, why is a deferred assertion singled out?  Doesn't this
apply to any assertion - simple immediate or concurrent?

 

4. shouldn't we be adding "deferred assertion" and "simple immediate
assertion" to the glossary (annex Q). I am surprised that immediate
assertion is not already there.

 

5. "The pass and fail statements in an action_block, if present, shall
each consist of a single subroutine call."  This paragraph sounds like
you are redefining action blocks. Why are they different from a simple
immediate assertion?  

 

6. why are only deferred assertions allowed outside of procedural code.
This seems to be another divergence from immediate assertions.

 

7. Do we need to state somewhere that the attempt counter is only ever
incremented when the evaluation matures?  

 

8. I think it goes in Annex N, not Annex L.  Also, where should the
vpiIsDeferred to be added? I would think it belongs after:  #define
vpiImmediateAssert 665

On page 1124

 

Lisa

 

 

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Wednesday, December 12, 2007 7:52 PM
To: sv-ac@eda.org
Subject: [sv-ac] call to vote on 2005

 

Hi Folks:

 

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

 

This ballot will close on 2007-12-17 as discussed in our meeting

on 2007-12-11.

 

The document on Mantis is 

 

  assertdefer071211es.pdf

 

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

 

J.H.

 

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

Ballot on Mantis 2005

 

- Called on 2007-12-12, final ballots due by 2007-12-17 T 23:59-08:00.

 

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

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

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

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

 t[x--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)

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

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

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

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

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

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

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

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

   |--------------------------------------------- attendance on
2007-12-11

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

 


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