A systematic approach for designing systolic arrays

The authors show that the problems of determining the existence of a valid transformation and finding an optimal valid transformation (if it exists) for a given nested loop algorithm can be computed easily. Their strategy exploits restricted row operation and normal form of integer matrix as well as the concept of the generalized inverse of a non-square matrix. In particular, three procedures, corresponding to three different rank values of the given dependency matrix, are proposed