skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: CRITTER system - an artificial-intelligence approach to digital circuit design critiquing

Abstract

The CRITTER system is an exploratory prototype digital circuit design aid, built using artificial-intelligence technology, for comprehensive critiquing of digital circuit designs. This critiquing encompasses issues of a circuit's functional correctness, operating speed, timing robustness, and sensitivity to changes in device parameters. In contrast to most circuit design aids, CRITTER is not only concerned with modeling circuit performance, but also with reporting the results of that modeling in the light of the concerns of the circuit designer, i.e., concisely summarizing only those findings it judges to be unexpected or unusual. CRITTER uses a nonprocedural, applicative language to describe real-time circuit behavior, and a predicate calculus notation for expressing an exhaustive set of specifications a circuit must satisfy, including both user-specified requirements and constraints arising as side effects of implementation choices. CRITTER evaluates the satisfaction of all these specifications by a process of symbolic constraint propagation, a generalization of traditional constraint propagation systems which employs symbolic algebra. By detecting, comparing, and classifying all the violated specifications, CRITTER tries to pinpoint design errors and performance bottlenecks. Additionally, CRITTER has a performance bounding approach to evaluating timing specifications in the presence of uncertain timing information.

Authors:
Publication Date:
Research Org.:
Rutgers-the State Univ., New Brunswick, NJ (USA)
OSTI Identifier:
5085442
Resource Type:
Thesis/Dissertation
Resource Relation:
Other Information: Thesis (Ph. D.)
Country of Publication:
United States
Language:
English
Subject:
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; 42 ENGINEERING; COMPUTER-AIDED DESIGN; ARTIFICIAL INTELLIGENCE; DIGITAL CIRCUITS; EVALUATION; PROGRAMMING LANGUAGES; REAL TIME SYSTEMS; ELECTRONIC CIRCUITS; 990200* - Mathematics & Computers; 420800 - Engineering- Electronic Circuits & Devices- (-1989)

Citation Formats

Kelly, V E. CRITTER system - an artificial-intelligence approach to digital circuit design critiquing. United States: N. p., 1985. Web.
Kelly, V E. CRITTER system - an artificial-intelligence approach to digital circuit design critiquing. United States.
Kelly, V E. Tue . "CRITTER system - an artificial-intelligence approach to digital circuit design critiquing". United States.
@article{osti_5085442,
title = {CRITTER system - an artificial-intelligence approach to digital circuit design critiquing},
author = {Kelly, V E},
abstractNote = {The CRITTER system is an exploratory prototype digital circuit design aid, built using artificial-intelligence technology, for comprehensive critiquing of digital circuit designs. This critiquing encompasses issues of a circuit's functional correctness, operating speed, timing robustness, and sensitivity to changes in device parameters. In contrast to most circuit design aids, CRITTER is not only concerned with modeling circuit performance, but also with reporting the results of that modeling in the light of the concerns of the circuit designer, i.e., concisely summarizing only those findings it judges to be unexpected or unusual. CRITTER uses a nonprocedural, applicative language to describe real-time circuit behavior, and a predicate calculus notation for expressing an exhaustive set of specifications a circuit must satisfy, including both user-specified requirements and constraints arising as side effects of implementation choices. CRITTER evaluates the satisfaction of all these specifications by a process of symbolic constraint propagation, a generalization of traditional constraint propagation systems which employs symbolic algebra. By detecting, comparing, and classifying all the violated specifications, CRITTER tries to pinpoint design errors and performance bottlenecks. Additionally, CRITTER has a performance bounding approach to evaluating timing specifications in the presence of uncertain timing information.},
doi = {},
url = {https://www.osti.gov/biblio/5085442}, journal = {},
number = ,
volume = ,
place = {United States},
year = {1985},
month = {1}
}

Thesis/Dissertation:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this thesis or dissertation.

Save / Share: