In reply to ssingh:
You can have a queue of addresses that you have written to, and have a constraint
rand unint64 address;
uint64 list[$];
constraint not_in_list {!(address inside {list};}
function void post_randomize()
list.push_back(address);
endfunction