Hierarchical specification and transformation of algorithms and VLSI-architectures

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.