DTIC ADA1030069: Representations for Reasoning About Digital pdf

DTIC ADA1030069: Representations for Reasoning About Digital

More Book Details

Description of the Book:

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

• Creator/s: Defense Technical Information Center
• Date: 7/1/1981
• Year: 1981
• Book Topics/Themes: DTIC Archive, Mitchell, Tom M, RUTGERS – THE STATE UNIV NEW BRUNSWICK NJ DEPT OF COMPUTER SCIENCE, *CIRCUITS, COMPUTER AIDED DESIGN, COMPUTER PROGRAMMING, DIGITAL SYSTEMS, MACHINE CODING, MODULAR CONSTRUCTION, OPERATION, REASONING

An excerpt captured from the PDF book