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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1982
Accession Number
ADA117887

Entities

People

  • Louis I. Steinberg
  • Van E. Kelly

Organizations

  • Rutgers University Department of Computer Science

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Artificial Intelligence
  • Case Studies
  • Circuits
  • Clocks
  • Computer Science
  • Digital Circuits
  • Engineers
  • Feedback
  • Language
  • Low Voltage
  • New Brunswick
  • Personality
  • Reasoning
  • Specifications
  • Standards
  • Uncertainty

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Database Systems and Applications