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.
KeywordsSearch Space Original Design Abstraction Level Design Formulation Hierarchical Design
Unable to display preview. Download preview PDF.