Representations for Reasoning About Digital Circuits

Abstract

We are interested in developing programs that reason about digital electronic circuits, in order to design, redesign, and debug them. The first step toward developing such programs is to determine a useful way of representing the design and operation of circuits. A useful representation must make apparent the roles of various circuit components in implementing the overall circuit function, and must allow a program to reason about the operation of the circuit at various levels of abstraction. This paper summarizes our efforts to develop such a representation. This work is closely related to other AI work on representing plans and on representing and reasoning about complex physical processes.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1981
Accession Number
ADA103006

Entities

People

  • Howard Jacobs
  • Lou Steinberg
  • Pat Schooley
  • Reid G. Smith
  • Tom M. Mitchell

Organizations

  • Rutgers University Department of Computer Science

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Artificial Intelligence
  • Buildings And Structures
  • Circuits
  • Computer Science
  • Computers
  • Contracts
  • Diagrams
  • Digital Circuits
  • Electronic Circuits
  • Governments
  • Logic Gates
  • New Brunswick
  • Personality
  • Reasoning
  • Specifications
  • Wiring Diagrams

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Electrical Engineering
  • Software Engineering

Technology Areas

  • Microelectronics