Re: [sv-ac] disabling action blocks for vacuous and disabled attempt

Good morning all;

If this 'feature' has little to no usefulness, I hope that the committee 
can look into making the correct fix, or
issuing a true 'eratta' that says something of the form

"Covered property do not properly indicate an unambiguous status, 
indicating success for vacuous successes, disabled
events and satisfaction. Do not use the pass action block to determine 
the satisfaction of a covered property. Covered
sequences are an alternative that properly indicate an unambiguous 
satisfaction and call the pass action block."

And the next version address this eratta properly with a change of the LRM.

In our world of eratta, bugs and workarounds, why can't an LRM do the same?


-- 
    Adam Krolnik
    ZSP Verification Mgr.
    LSI Logic Corp.
    Plano TX. 75074
    Co-author "Assertion-Based Design"