Declare a coverpoint for consecutive signals

In reply to jcraft:
but what about the “read after write”?