In reply to dave_59:
Why is it tool specific. Its a general question about a SV assertion and the disable clause