Representations for Reasoning about Digital Circuits

  title={Representations for Reasoning about Digital Circuits},
  author={Tom Michael Mitchell and Louis I. Steinberg and Reid G. Smith and Pat Schooley and Howard Jacobs and Van E. Kelly},
  • Tom Michael Mitchell, Louis I. Steinberg, +3 authors Van E. Kelly
  • Published in IJCAI 1981
  • Computer Science
  • 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… CONTINUE READING