Login / Signup
Architectural Trace-Based Functional Coverage for Multiprocessor Verification.
Biruk Mammo
Jim Larimer
Matthew Morgan
Dave Fan
Eric Hennenhoefer
Valeria Bertacco
Published in:
MTV (2012)
Keyphrases
</>
functional verification
model checking
database machines
multiscale
software architecture
high security
face verification
data sets
information retrieval
image segmentation
high level
formal verification
multithreading
person identification
verification method