blob: 21c62e84fdd8cbea209f5c2ae4696127df06b5b7 [file] [log] [blame] [view]
# 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/