In reply to Abhiman:
It works for me. Can you share your error and give a complete minimal example.
Also, you should be able to shorten your constraint with
d_addr inside {mem_data};
In reply to Abhiman:
It works for me. Can you share your error and give a complete minimal example.
Also, you should be able to shorten your constraint with
d_addr inside {mem_data};