we can say, SV= verilog+ all features required for Verification +assertions.
we have enhanced version of fork-join which is very usefull for parallel processes,
oops, inter-process communications [semaphore and mailboxes] and
also we can define functional coverage which helps in coverage metrics.
Once, if we start SV we can feel the thrill of it.