How to define coverpoints for two interdependent sizes?

SystemVerilog
1

Hi,

I have a scenario where two random sizes are contrained in a way such that 4*tsize must be greater than size. For example:

rand int size_x, size_y;
rand int tsize_x, tsize_y;

constraint size_c {
(4tsize_x) >= size_x;
(4tsize_y) >= size_y;
}

How can I define bins for size_x/y and tsize_x/y such that it makes sure all if the following cases are covered:
tsize_x > size_x
tsize_y > size_y
tsize_x == size_x
tsize_y == size_y
tsize_x < size_x
tsize_y < size_y

Thanks in advance!