It is very useful for verification.. it has got some useful features like constrained random generation, assertion based verification, wrappers(here we can wrap all the signals in a bundle , and call it as a bus or something else.. and we can use this bus wherever it is required...no need to declare inputs outputs in the module )... like lots of features are available in sv for verification