ML Anthology

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

Van E. Kelly, Louis I. Steinberg
AAAI 1982 pp. 284-289
doi:10.21236/ada117887 /aaai/1982/kelly1982aaai-critter/

Abstract

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 these operations, it evaluates both the correctness and the robustness of the overall design.

PDF AAAI Semantic Scholar

Cite

Text

Kelly and Steinberg. "The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications." AAAI Conference on Artificial Intelligence, 1982. doi:10.21236/ada117887

Markdown

[Kelly and Steinberg. "The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications." AAAI Conference on Artificial Intelligence, 1982.](https://mlanthology.org/aaai/1982/kelly1982aaai-critter/) doi:10.21236/ada117887

BibTeX

@inproceedings{kelly1982aaai-critter,
  title     = {{The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications}},
  author    = {Kelly, Van E. and Steinberg, Louis I.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1982},
  pages     = {284-289},
  doi       = {10.21236/ada117887},
  url       = {https://mlanthology.org/aaai/1982/kelly1982aaai-critter/}
}