Fwiw, as I understand it there are also patches for sure log/uhdm with verilator, and plans afoot for verilator to get enough event driven stuff to be able to handle Sv UVM