[sv-ac] update on 805

Hi All,
 
Ed and Lisa have raised some questions in the past about the coverage
information from cover directives and corresponding vpi routines.
Currently those two do not match. After discussions with Bassam, we
propose the following changes in the vpi routines section:
 
1. In the statement in the LRM "For assertion handle, the coverable
entities are assertions.", we'll add something like: "The assertions
include assert and  cover directives (cover on properties and
sequences). Some of the vpi properties are not valid for certain cover
directives. The limitations are listed in description for each vpi
property.".
 
2. The description for "vpi_get(vpiAssertVacuousSuccessCovered,
assertion_handle)" will mention that this vpi property can only be used
for assert directives and cover directives on properties. 
 
3. The description for "vpi_get(vpiAssertFailureCovered,
assertion_handle)" will mention that this vpi property can only be used
for assert directives and cover directives on properties.
 
4. We'll state that the formula "in progress = attempts - (successes +
vacuous success + failures)" is not valid for cover directives on
sequences.
 
5. In the description of the new vpi property
"vpi_get(vpiAssertDisableCovered, assertion_handle)", will mention that
this vpi property can only be used for assert directives.
 
Similarly, we'll update the vpi callback part to match with this.
 
Please send your feedback. We can discuss it further in the coming
meeting.
 
Thanks.
Manisha