RESOURCES
Assertion Checker Libraries
http://www.accellera.org/activities/ovl
http://www.cadence.com/products/fv/verification_ip/Pages/default.aspx
http://www.mentor.com/products/fv/questa/
http://www.synopsys.com/tools/verification/functionalverification/pages/vcs.aspx