Representations for Reasoning about Digital Circuits

@inproceedings{Mitchell1981RepresentationsFR,
  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},
  booktitle={IJCAI},
  year={1981}
}
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… CONTINUE READING