Share Email Print

Proceedings Paper

Automated representation changing for problem solving and electronic CAD
Author(s): Robert M. Zimmer; Alan MacDonald; Robert Holte
Format Member Price Non-Member Price
PDF $17.00 $21.00

Paper 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.

Paper Details

Date Published: 23 March 1993
PDF: 12 pages
Proc. SPIE 1963, Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry, (23 March 1993); doi: 10.1117/12.141729
Show Author Affiliations
Robert M. Zimmer, Brunel Univ. (United Kingdom)
Alan MacDonald, Brunel Univ. (United Kingdom)
Robert Holte, Univ. of Ottawa (Canada)

Published in SPIE Proceedings Vol. 1963:
Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry
Usama M. Fayyad; Ramasamy Uthurusamy, Editor(s)

© SPIE. Terms of Use
Back to Top
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?