Title :
Hierarchical specification and transformation of algorithms and VLSI-architectures
Author :
Arzt, Ulrich ; Thiele, Lothar
Author_Institution :
Inst. of Microelectron., Saarlandes Univ., Saarbrucken, Germany
Abstract :
In this paper the specification and processing of data (type) hierarchy is integrated in the transformative approach of the design of application-specific circuits. The processing of the type hierarchy is solved by program transformations, which can be proven correct
Keywords :
VLSI; VLSI-architectures; algorithms; application-specific circuits; hierarchical specification; program transformations; Algorithm design and analysis; Circuit synthesis; Design methodology; Digital signal processing; Equations; Image processing; Image sequences; Input variables; Pixel; Very large scale integration;
Conference_Titel :
VLSI Signal Processing, VII, 1994., [Workshop on]
Conference_Location :
La Jolla, CA
Print_ISBN :
0-7803-2123-5
DOI :
10.1109/VLSISP.1994.574729
