An intelligent aid for circuit redesign

Published 22 August 1983

Tom M. Mitchell, Louis Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey S. Shulman, Timothy Weinrich

Citations45

TL;DR

A knowledge-based system, REDESIGN, which assists in the redesign of digital circuits to meet altered functional specifications by combining two modes of reasoning about circuits, causal reasoning involving analysis of circuit operation and reasoning about the purposes, or roles, of various circuit modules within the larger circuit.

Abstract

Digital circuit redesign is a task that requires knowledge of CirCUit structure, function, and purpose, and of the interrelationships among these We describe a knowledge-based system, REDESIGN, which assists In the redesign of digital circuits to meet altered functlonal specifications. REDESIGN assists the user in focusing on an appropriate portion of the circuit, generating possible local changes within the circuit, ranking these possible changes, and detecting undesirable side-effects of redesigns. lt provides this assistance by combining two modes of reasoning about circuits: (I) causal reasoning involving analysis of circuit operation, and (2) reasoning about the purposes, or roles, of various circuit modules within the larger circuit. We describe these two modes of reasoning, and the way in which they are combined by REDESIGN to provide aid In circuit redesign. I

Keywords

Computer ScienceMaterials Science

Artificial IntelligencePlanning with constraints (MOLGEN: Part 1)

814 Citations1981Mark Stefik

This paper presents an approach to hierarchical planning, termed constraint posting, that uses constraints to represent the interactions between subproblems and is illustrated with a computer program that plans gene-cloning experiments in molecular genetics.

Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)Causal and Teleological Reasoning In Circuit Recognition

143 Citations1979Johan de Kleer

A theory of human-like reasoning in the general domain of designed physical systems, and in particular, electronic circuits, is presented, which can construct by qualitative causal analysis a mechanism graph describing the functional topology of the system.

The CRITTER System: Analyzing Digital Circuits by Propagating Behavior and Specifications

30 Citations1982Louis Steinberg, Van E. Kelly

Design Automation ConferenceDomain Knowledge and the Design Process

26 Citations1981John McDermott

ACM SIGART BulletinComputer aided evolutionary design for software engineering

24 Citations1981Charles Rich, Richard C. Waters

The purpose of this project is to explore the fundamental principles underlying the design and construction of large software systems, and to construct a prototype computer aided design tool to support this activity.

View PDF

Defense Technical Information Center (DTIC)Research on Knowledge Based Programming and Algorithm Design.

21 Citations1981Cordell Green

A set of methods, primarily focused upon the incorporation of operations into generators, that seem to be a very powerful set of tools in deriving good and difficult algorithms are formalized.

DSpace@MIT (Massachusetts Institute of Technology)Computer aided evolutionary design for digital integrated systems

13 Citations1980Gerald Jay Sussman, Jack W. Holloway +1 more

A computer aided design tool which can help an engineer deal with system evolution from the initial phases of design right through the testing and maintenance phases and a design system which can function as a junior assistant which provides a total conversational and graphical environment.

View PDF