|
Journal of Automata, Languages and Combinatorics
formerly:
Journal of Information Processing and Cybernetics /
Elektronische Informationsverarbeitung und Kybernetik
|
|
@article{jalc020202,
author = {Jozef Gruska and Ir\`{e}ne Guessarian},
title = {Fixpoint Semantics of Synchronized Systems
and Correctness of Their Basic Transformations},
journal = jalc,
year = 1997,
volume = 2,
number = 2,
pages = {93--133},
keywords = {fixpoint semantics, systolic systems,
semi-systolic systems, retiming transformation, slowdown
transformation},
abstract = {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.}
}