svaunit

SVAUnit is an UVM compliant package that simplify the creation of stimuli/checkers for validating SystemVerilog Assertions (SVA)

You can see more details here:

• http://www.amiq.com/consulting/2015/06/30/new-version-of-svaunit-available/
• http://www.amiq.com/consulting/2015/04/29/how-to-verify-systemverilog-assertions-with-svaunit/