The CRITTER system: Analyzing digital circuits by propagating behavior and specifications
Abstract
CRITTER is a system that reasons about digital hardware designs, using 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.
- Publication:
-
NASA STI/Recon Technical Report N
- Pub Date:
- July 1982
- Bibcode:
- 1982STIN...8233650K
- Keywords:
-
- Circuits;
- Computers;
- Digital Systems;
- Experiment Design;
- Input;
- Output;
- Signal Analysis;
- Specifications;
- Electronics and Electrical Engineering