Developing an integrated verification and debug methodology.

Akitoshi Matsuda Tohru Ishihara

Published in: DATE (2011)

Keyphrases

artificial intelligence
model checking
databases
computer vision
bayesian networks
theoretical framework
asynchronous circuits
verification method