Formal derivation of systolic arrays-a case study

The author exemplifies a conceptual framework, namely, the theory of finite-state machines, for the VLSI design process. He starts from a functional description of the system to be realized and achieves a (semi)systolic array in a formal way. The resulting designs are correct by their mere construction.<
>