Generate unique elements in an array

As Dave mentioned, SV 2012 has this natively in the language. Make sure your tool supports it, if not start demanding it - now it is an approved standard (IEEE SA - IEEE 1800-2012)

In SV 2009 version you will need to use the foreach, perhaps you can do:

constraint data_values { foreach(data[i]) data[i+1] != data [i] ;}

A practical example is available at: Verification Course Blog | VeriLog Courses | CVC

Good Luck
Ajeetha, CVC