On process-algebraic verification of asynchronous circuits.

Xu Wang Marta Z. Kwiatkowska

Published in: ACSD (2006)

Keyphrases

asynchronous circuits
delay insensitive
model checking
website
multiresolution
evolutionary algorithm
process algebra
formal verification
diffusion process
mobile robot
data mining
user interface
data structure
decision trees
e learning
artificial intelligence
genetic algorithm