Multidimensional Array In System Verilog Assertions