Hardware-assisted verification, from its dawn to SystemVerilog, UVM, and transactors – May 14