In reply to jayati3108:
What you are describing is a typical application for SV Assertions. You should model your behavior in this way.
In reply to jayati3108:
What you are describing is a typical application for SV Assertions. You should model your behavior in this way.