[sv-cc] Errors in LRM draft6 to add

Guys, please someone look this over and check again ... and double check
please before we add to official errata.
 
1) p. 361 we say:
 
"4) To obtain an assertion of a specific type, e.g. cover assertions, the
following approach should be used:

vpiHandle assertion;

itr = vpi_iterate(vpiAssertionType, NULL);

while (assertion = vpi_scan(itr)) {

if (vpi_get(vpiAssertionType, assertion) == vpiCoverType) {

/* process cover type assertion */

}

}"

should be:

"4) To obtain an assertion of a specific type, e.g. cover assertions, the
following approach should be used:

vpiHandle assertion;

itr = vpi_iterate(vpiAssertion, NULL);

while (assertion = vpi_scan(itr)) {

if (vpi_get(vpiAssertionType, assertion) == vpiCoverType) {

/* process cover type assertion */

}

}"

2) vpiAssertionType property does not exist in the list on p. 359
 
28.2.2 Object properties

This section lists the object property VPI calls. The VPI reserved range for
these calls is 700 - 729.

#define vpiAssertionType 706 /* AssertionType property */

/* Assertion types */

#define vpiSequenceType 701

#define vpiAssertType 702

#define vpiCoverType 703

#define vpiPropertyType 704

#define vpiImmediateAssertType705

--
Dr. Bassam Tabbara
Technical Manager, R&D
Novas Software, Inc.
http://www.novas.com <http://www.novas.com/> 
(408) 467-7893