In reply to Veeresh_vs:
What are the requirements? Sig “a” shall change values “n” times between sig “b” and sig “c”.
Is “n” a constant or the value of a variable?
Once the requirements are defined, you can write an assertion in SVA or SV, see my verification Horizons paper (in latest issue)
Hint : use local variable as counter.
Ben systemverilog.us