Automatic Scan Insertion and Pattern Generation for Asynchronous Circuits.

Aristides Efthymiou Christos P. Sotiriou Douglas A. Edwards

Published in: DATE (2004)

Keyphrases

pattern generation
asynchronous circuits
delay insensitive
fully automatic
process algebra
model checking
cellular automaton
swarm robots
database systems
cellular automata
scan data
xml documents
semi automatic