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

@inproceedings{Kelly1982TheCS,
  title={The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications},
  author={Van E. Kelly and Louis I. Steinberg},
  booktitle={AAAI},
  year={1982}
}
CRITTER is a system that reasons about digital hardware designs, using a a declarative representation that can represent components and signals at arbitrary levels of abstraction. CRITTER can derive the behaviors of a component’s outputs given the behaviors of the inputs. it can derive the specifications a COmpOnent’S inpUtS must meet in order for some given specifications on the OUtpUtS to be met, and it can verify that a given signal behavior satisfies a given specification. By combining… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…