Reply To:

[Torsten]

There is a simple example of verifying an adder with OSVVM on EDA playground, maybe this helps.

https://www.edaplayground.com/x/49J

It basically creates a variable of CovPType to generate random stimuli data dependent on coverage holes. The coverage goal is given by BINs with the GenBin and AddCross methods. The simulation finishes when all given bins are hit at least one time, what means that coverage is 100%.