Manuscript prepared for submission to the ASME 1995 Design Automation Conference.
William S. Law
Engineering Design Research Laboratory
California Institute of Technology
Pasadena, California 91125
law@design.caltech.edu
Erik K. Antonsson
Engineering Design Research Laboratory
Division of Engineering and Applied Science
California Institute of Technology
Pasadena, California 91125