In reply to mmistry@apm.com:
You are looking for a specific set of sequences starting from a particular condition. This is an assertion.
You could write code that detects those conditions, and then do coverpoint bins on that code.
That code basically represents an assertion; you might as well use SVA. . What is yyou objection in using the cover property?
Ben Ben@systemverilog.us