Verification of Parameterized Asynchronous Circuits: A Case Study.

Tomohiro Yoneda Yutaka Ohtsuka Märt Saarepera

Published in: ACSD (1998)

Keyphrases

asynchronous circuits
model checking
delay insensitive
process algebra
test bed
case study
image processing
decision trees
neural network
multiscale
evolutionary algorithm
knowledge base
e learning
formal analysis
computer vision
artificial intelligence
data mining