A new formulation of the mapping conditions for the synthesis of linear systolic arrays

The authors present a new formulation for mapping algorithms into linear systolic arrays. The closed-form necessary and sufficient mapping conditions are derived to identify mappings without computation conflicts and data link collisions. These mapping conditions are easy to check because their constituent variables are the space-time mapping matrix and the problem size parameters. The design of optimal arrays is a mathematical programming problem, which can be solved by a systematic enumeration of its search space.<
>