3*3 matrix : SV constraint to make right diagonal elements zero

In reply to Michael54:

'0 is an unsigned fill literal whose width is context determined. In case (1), '0 is the same as 4’b0

0 is a signed 32-bit decimal literal. In case (2), array[a][b] will be extended to 32 bits.