ABSTRACT
Design synthesis is the process of producing an artifact that satisfies some high level behavioral and structural specifications. We address a particular instance of this process where an artifact is formed by integrating several primitive com ponents. Specifically, in our domain, design synthesis produces a computer system by selecting and interconnecting parts from a library. In this chapter, we describe the problem of synthesizing computer systems, present an overview of a model for the synthesis process, and illustrate the process in our model using an example.
