Hierarchical Verification for Increasing Performance in Reliable Processors.

Joonhyuk Yoo Manoj Franklin

Published in: J. Electron. Test. (2008)

Keyphrases

model checking
parallel algorithm
hierarchical representation
general purpose
parallel computation
database
databases
machine learning
search engine
social networks
computer vision
information systems
web services
formal verification
parallel architectures
multiprocessor systems