osvvm_verification NB: Before running this example, please set the bash variable $OSVVM_DIR to your osvvm directory.