ABSTRACT

This chapter describes an approach for behavorial synthesis of devices with dynamic behavior. The aim is to develop a computational mechanism that, given the behavior specification of the inputs and outputs of a dynamic device, will synthesize the device from a case library of previous designs. The behavior of a device is described by the observable parameters of the device and its components. The components in a library encapsulate fundamental device behaviors in terms of relevant parameters. There is no reference to the physical embodiment of these components. The result of the synthesis procedure is a behavorial layout diagram of the device identifying its inputs, outputs, the components, and the connections between the components. The device model refines and extends our influence graph-based device representation that was developed as part of the CADET project.