Automated representation changing for problem solving and electronic CAD

Robert M. Zimmer; Alan MacDonald; Robert Holte

doi:10.1117/12.141729

23 March 1993 Automated representation changing for problem solving and electronic CAD

Robert M. Zimmer, Alan MacDonald, Robert Holte

Proceedings Volume 1963, Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry; (1993) https://doi.org/10.1117/12.141729
Event: Optical Engineering and Photonics in Aerospace Sensing, 1993, Orlando, FL, United States

Abstract

Structured top-down design can be viewed as a process of iterative step-wise representation changes wherein an initial specification passes through several levels of increasingly concrete representations. When viewed this way, many of the goals and difficulties of hardware CAD are strikingly similar to those addressed by the branch of AI problem solving known as `Problem Reformulation.' Our principal aim is to provide a common mathematical setting to the two disciplines and then to exploit problem reformulation results in the design and implementation of a CAD system that can reason about VLSI design as representational change. The CAD system builds on one that has a proof assistant at its core, so that circuits designed in the system are pre-verified. High-level design knowledge is captured by algebraic models; refinement transformations between levels and optimizing and partitioning functions within a level are algebraic homomorphisms. The use of algebra throughout allows us to add different kinds and levels of reasoning to the theorem prover without a loss of mathematical soundness. The formalization of the `design as representation change' idea involves bringing together various strands in abstract algebra, artificial intelligence, and formal methods for system design. In this paper we describe the algebraic background and give examples and results of this kind of analysis in artificial intelligence and multi-layered hardware description.

Citation Download Citation

Robert M. Zimmer, Alan MacDonald, and Robert Holte "Automated representation changing for problem solving and electronic CAD", Proc. SPIE 1963, Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry, (23 March 1993); https://doi.org/10.1117/12.141729

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available