The previous chapter described the difficulty in reasoning about complex devices, and outlined our approach to manage this complexity, i.e., reasoning with high level design formulations that capture the morphology of the device. In this chapter we will present a more formal discussion of reformulation. Before we define how designs can be reformulated, we present a precise definition of a device which is a physical entity, and a design, which is a specification of this device. We will next examine the different types of design reformulation operations, and demonstrate the utility of performing these reformulations by examining their impact on the size of the search space, and the size of the design. We will show that the different reformulation operations can reduce both the depth and branching factor of the search space, and also reduce the size of the design. In addition, we will show that it is possible to avoid search by reformulating designs and solving tasks by propagating symbolic constraints.
KeywordsExpense Casing In2o Helio
Unable to display preview. Download preview PDF.