There are 2 repositories under universal-verification-methodology topic.
VUnit is a unit testing framework for VHDL/SystemVerilog
Round-robin arbiter verification in SystemVerilog
An FPGA implementation of Cummings' Asynchronous FIFO