Uvm, bus functional models, SV, scoreboards, checkers, coverage driven verification closure, monitors, SOC level verification