Formal verification of systolic networks using theorem proving techniques (abstract only)
David Y. Y. Yun, Yajie Yun, Chang N. Zhang · 1987
A systolic network can be viewed as a network composed of a few types of processing cells, regularly interconnected via local data links. Since some of these networks are far from simple and involve complex data movements.