Hierarchical specification and transformation of algorithms and VLSI-architectures
U. Arzt, Lothar Thiele · 2002
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.