RE: [sv-ac] FW: #805

Manisha,

 

This may be picky, but you might consider clarifying:

 

A disabled evaluation of a property does not result in success or
failure, so no action blocks are executed and no success or failure
coverage counters are incremented. 

 

Also, what happens when a new attempt occurs while disable iff condition
is already true.   I would think we would count this as another attempt
that is disabled, so perhaps change it to read: 

 

cbAssertionDisabledEvaluation

An assertion attempt reaches a disabled state (e.g. as a result of
disable iff condition becoming true, or if an attempt is initiated when
disable iff is true).

 

Lisa

 

 

 

________________________________

From: owner-sv-ac@verilog.org [mailto:owner-sv-ac@verilog.org] On Behalf
Of Kulshrestha, Manisha
Sent: Tuesday, June 06, 2006 11:50 AM
To: sv-ac@verilog.org
Subject: [sv-ac] FW: #805

 





-----Original Message-----
From: Kulshrestha, Manisha
Sent: Thu 6/1/2006 12:17 PM
To: 'sv-ac@eda.org'
Subject: #805


Hi All,

I have incorporated most of the feedback in my updated proposal
(attached here). Please send your feedback. The original proposals are
still on mantis in case you want to compare. The main change in this
document is that disabled is not a success and thus very few changes are
needed in the LRM.

Thanks.
Manisha

805: disable iff condition should produce vacuous match
Lisa:           I agree with this too - failure counters do not make
                        sense for coverage.
                        failure counters do not make sense for coverage.
Joseph:         yes
Doron:          I think that disabled should not count as a success 
                        in coverage. we need to change is the report of
the 
                        number of failures in coverage
Bassam:         yes
Dmitry:         I don't think the failure should be reported for
coverage at all.
Surrendra:      yes
Ed:                     No success with disable to be reported.
Dmitry:         I agree with the definition of the vacuous success.
                        According to our discussion about the property
                        coverage definition, there is no meaning in
disabled
                        coverage success, since it should not count as a
                        coverage event at all. 
                        Therefore the suggestions concerning
                        Clause 17.13.3, page 288,
                        Clause 29.4.3, page 482, Clause 29.4.2, page
481,
                        and Annex I are not relevant.
                        I agree with the proposal concerning  Clause
28.4.2.
Volkan:         yes