Post-silicon verification for cache coherence.

Andrew DeOrio Adam Bauserman Valeria Bertacco

Published in: ICCD (2008)

Keyphrases

model checking
low cost
high speed
neural network
high density
face verification
formal methods
formal analysis
formal verification
asynchronous circuits
verification method
three dimensional
artificial intelligence
information retrieval
petri net
machine learning
low power
database
gallium arsenide