L. Rapanotti
G.M. Megson
University of Newcastle upon Tyne. 1994
This report is the second in a series on the synthesis of regular designs from high-level specifications in SADE (Systolic Algorithm Design Environment). In [12] we have shown how to map a specification in the form of a set of nested DO-loops in a (restricted) Pascal program to a system of Conditional Recurrence Equations. In this report we illustrate how to make such a system of equations suitable for the application of synthesis techniques.