Constraint driven behavioral synthesis
Forrest D. Brewer · 1988
The model for constraint driven automated design is presented. This model defines a simple Knob and Gauge approach to meeting the imposed design constraints. Key to this approach is an iterative process of refinement of the design followed by evaluations of the result. These evaluations are used to determine ensuing modifications and refinements to the design which help it to meet the imposed constraints. A system for applying this model to computer architecture behavioral synthesis is also described. In behavioral synthesis, an abstract description of a system and a set of imposed constraints are used to design a register-transfer level implementation of the desired machine. Several runs of the system are presented and annotated including a design of a TMS320 DSP chip from a behavioral description of its operation.