Test pattern generation for the combinational representation of asynchronous circuits.

Roland Dobai Elena Gramatová

Published in: DDECS (2010)

Keyphrases

asynchronous circuits
delay insensitive
process algebra
model checking
social networks
probabilistic model
data sets
artificial intelligence
knowledge base
clustering algorithm
bayesian networks
d objects
high speed
image representation