Repository of assertions

In reply to verif_learner:

Please look at the Open Verification Language (OVL).