Email Record: C-testability of two-dimensional systolic arrays for matrix multiplication /