[sv-ac] feedback on 2088

Hi Tom,

Since I said I had reviewed 2088 in the last meeting, I decided to give
it a more serious review.  I have the following comments:

1.   In 16.18.2, I would either write it to eliminate the need to
reference "default disable iff" or put the note that this is assumes
1674 passes.  Recall that we have passed it in the past but it has been
rejected by the champions.  I think it has a good chance of passing now
but I'm not sure that it is past the champions.

2.  I don't think the following is correct:

		"With the exception of a covergroup declaration,
		any A declaration without freevar in a checker body and
a declaration of a free variable outside of it shall
		be illegal, as shown in the following example."

     I think in the original sentence "A" referred to a variable
declaration.  There are many declarations (sequence, property, ...) that
do not have a freevar.


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