[sv-ac] 1768 review

Hi Lisa,
 
Here's my feedback:

1) Syntax 16-16

Change "Cover_.... :=" to "cover_..."

2) "disable iff" does not make sense in above production since this is a
*sequence*

3) ditto on (1)/(2) for A.6.10

4) 16.14.3 change "e.g. cover property" to "i.e. cover property"

5) For 16.14.3 see (2) above and update

6) Last sentence "Whether cover property or
cover sequence is used is dependent on whether one match or multiple
match semantics is desired."

Change to 

"Whether cover property or
cover sequence is used depends on whether one match or multiple match
semantics is desired respectively.

 
Thx.
-Bassam.

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