STA: a tool for systolic array reasoning
Nam Ling, Magdy Bayoumi · 2003
A concise introduction to a novel formalism developed for systolic array reasoning is presented. This new formalism is called systolic temporal arithmetic (STA). The motivation for such a development, its syntax, and some of the constructs and rules involved are briefly presented. Its applications to formal specification, formal verification, simulation, fault diagnosis, and test generation for systolic arrays are briefly discussed.>