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

Van E. Kelly Louis I. Steinberg

Published in: AAAI (1982)

Keyphrases

digital circuits
finite state machines
data flow
model based diagnosis
evolvable hardware
circuit design
control flow
model checking
human behavior
functional decomposition
state transition
regular expressions
high level
social networks
databases
formal specification
mobile robot
delay insensitive
database