Fixpoint Semantics of Synchronized Systems and Correctness of Their Basic Transformations
Jozef Gruska, Irène Guessarian · Journal of automata, languages and combinatorics · 1997
In recent years many systolic systems have been designed, some of them even manufactured as special purpose processors. Moreover, several design and transformation methodologies and software tools for the development of systolic systems have been worked out. However, the definitions and analysis of very basic concepts and results concerning systolic systems and their transformations seem to be still missing the rigour, abstraction and analysis required by the current design and correctness theory standards and also by applications. The aim of this paper is to remedy this situation by presenting a natural fixpoint semantics of synchronous systems (including semi-systolic and systolic) and by making precise and analysing in which way the basic transformations of these systems (retiming and slowdown) preserve their semantics.