In reply to superUVM:
You can use the get_registers() method of uvm_reg_map to get a list of registers. Then iterate over that list calling list_regs[i].get_address() and push each each address onto a list(queue) of addresses. Finally, you can write a constraint asking for an address not inside that list of addresses.
{! (address inside {list_of_addresses});}