Behavioural synthesis: an interactive approach

This paper describes a VLSI behavioural synthesis system called SAGE. The SAGE system takes a behavioural description of the required design expressed in a subset of ADA, and generates a correct register-level architecture automatically from this. A key feature of SAGE is that it provides the designer with the freedom to modify automatically generated designs. Through this facility the designer is able to achieve good designs over a relatively large problem domain, a feature not offered by the synthesis tools currently available. In addition to providing the designer with a more versatile design environment SAGE adopts a correct-by-construction approach, the aim of which is to ensure that the design produced satisfies the initial behavioural description