[sv-ac] P1800 SV-AC meeting tomorrow, Tuesday, April 11.

Hello,

We need to close on the issue of cover property, followed_by.

There are several questions that we must address are:

- Cover property on implication reporting: all successes or distinguish
vacuous from real.

- Doron and John proposed a definition of vacuity, should we take it
into account at the same time?

- Do we introduce followed_by at this time, which may require a
non-local change (BNF, VPI, etc.)?

- What is the effect of disable iff in a cover property/sequence?
Vacuous vs. no match?

- separate cover on sequences from those on property using a different
construct? cover property vs. cover sequence?

- Should execution of action blocks depend on vacuity, disable? What
should be the default?

- Other...?


If you send me a brief message with your opinion on each of these items
by tomorrow morning ET, I will try to tabulate it before the meeting.

Note also that I entered a new errata (1420) regarding the passing of
arguments  to recursive properties.

Best regards,
ed