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