I want to write an SVA which is triggered at the end of the test.
pseudo code.
cover property end_of_test
@(end_of_test_event)
....
endproperty
Now to procure that even I tried using final block
final
->end_of_test_event;
This does not trigger evaluation of assertion. I guess it has to do something with SV timing regions. Would like to understand more.
What are my alternatives to generate such an event?