UVM-based test benches, assertions, scoreboards, functional and code coverage, and formal verification.

Done for : IP vendors, verification startups