I want to write an SVA which is triggered at the end of the test.
cover property end_of_test
Now to procure that even I tried using final block
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?