[sv-ac] question on 1599

Hi Bassam,

 

I have a question on the vpi section. It states:

 

- For assertion handle, the coverable entities are assertions.

 

It seems from the context that this applies to all assertion, not just
concurrent "cover property" assertions.  Is this a true statement?  It
also states that counters that are not implemented will return NULL.  Is
it expected that implementations will provide most counters for all
assertions, that being immediate and concurrent assert, assume, and
cover properties?  Why does chapter 17 only require counters for cover
property?  

 

I am not a proponent for requiring all counters for all categories of
assertions.  But I do think that some counters apply to all assertions.
For assume and assert, it is the failure count that is of interest and
for cover property it is the success that is important, while all others
can be optional. I think this would be consistent with Chapter 29 and I
don't think it creates backwards compatibility issues.

 

I was not around for the original discussions on this so I'm not sure I
understand the philosophy or intended use models.

 

Lisa

 


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