Incorporating formal techniques into systolic array synthesis

The concept of using induction for designing arrays is illustrated by four different inductive design techniques: regular, stronger, double, and reverse order. These techniques exploit the repeatability, regularity, and locality of the appropriate algorithm and the corresponding array structure to provide an efficient way of deriving systolic designs. Such formal techniques also guarantee the correctness of designs. Two examples are given to illustrate how the techniques can be applied and be used to improve the design