How is the Constraint : x == y == z; evaluated?

In reply to DavidEllis:

Correct. the expression is evaluated like ( l == m ) == n. There result of l == m can either be 1’b0 or 1’b1. I don’t have time to do the math, but the probability on 1’b1 = n is very small, so it would appear that n is always 0.