How to write an SV constraint to generate two 3x3 matrices such that the minimum value in each matrix is unique.
In reply to Apoorva_jain:
An approach you could try is declaring to extra random variables as the minimum values for each array. Then make sure each array has one element with that value, and the rest have values greater than that.