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: https://www.amiq.com/consulting/2017/02/20/svaunit-3-2-release-is-available/ 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/