Regarding constraint overlap

Is anyone aware of any tools or good way to check for overlapping or redundant- constraints, for example one is superset of other and such cases in any test bench.

Thank you.

In reply to megamind:

Lets say I have two constraints,
A < 5;

and somewhere it gets overlap as below,
A < 3; —> in this case if this is actually effective, then I would never know that my code is really not generating 4 and 5, one way is to write coverage/assertion, but is there any other way?

And my code is massive, that I can not manually go and verify if all constraints are exclusive, what is the best way to know overlapping constraints, or if any constraint is subset of any other constraint or superset or redundant.

Thank you.

In reply to megamind:

Proving that one constraint has no effect on the solution space because of another more restrictive constraint is a very difficult problem. You may want to contact your tool vendor for their constraint debug capabilities.

Almost all constraints have some overlap within a single random variable; otherwise there would be no solution. also, many base tests are written with broad constraints which get extended into more specific tests with narrower constraints.

Another problem is constraints create a lot of interdependence between multiple random variables and it could be certain sets of constraints overlap with other sets of constraints.