Title :
Formal derivation of systolic arrays-a case study
Author_Institution :
Inst. fuer Inf., Tech. Univ. Munchen, West Germany
Abstract :
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
Keywords :
VLSI; cellular arrays; finite automata; VLSI design; finite-state machines; formal derivation; functional description; systolic arrays; Automata; Computer aided software engineering; Global communication; Hardware; Pipelines; Process design; Systolic arrays; Timing; Turing machines; Very large scale integration;
Conference_Titel :
Systolic Arrays, 1988., Proceedings of the International Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-8860-2
DOI :
10.1109/ARRAYS.1988.18073
