System verilog assertion at end of the test

In reply to sharatk:

You usually do not need a property for covering the end of the test. The coverage database should keep track of the tests the reach the end without error as an implicit test record. Check your tools documentation.