The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
The CRITTER System -- Automated Critiquing of Digital Circuit Designs
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
CRITTER is an exploratory prototype design aid, built using Artificial Intelligence ("Expert Systems") technology, to aid in "critiquing" digital circuit designs, encompassing issues of functional correctness, operating speed, timing robustness, and circuit sensitivity to changes in device parameters. Its non-procedural representation for both real-time circuit behavior and circuit specifications has led to a streamlined circuit modeling formalism based on ordinary mathematical function composition. In its interactions with the user it strives to be as concise as possible, concentrating only on findings it judges to be unexpected or unusual. After successful tests with circuits of up to a dozen TTL SSI/MSI packages, CRITTER is being extended for use in an automated VLSI design environment.
How it got here
How it got here
agent via openalex
Added
2026-10-25 08:41 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{kelly1984critter,
title = {The CRITTER System -- Automated Critiquing of Digital Circuit Designs},
author = {V.E. Kelly},
year = {1984},
journal = {Proceedings - ACM IEEE Design Automation Conference},
publisher = {Association for Computing Machinery},
pages = {419--425},
doi = {10.1109/dac.1984.1585831},
}