Programy według https://sf.net/projects/uvm/

W ramach tego projektu znajduje się referencyjna implementacja wspólnego kodu biblioteki podstawowej (CBL) dla metody weryfikacji uniwersalnej (UVM), zgodnie z propozycją Podkomisji Technicznej ds.