Login / Signup
Verification of chip multiprocessor memory systems using a relaxed scoreboard.
Ofer Shacham
Megan Wachs
Alex Solomatnikov
Amin Firoozshahian
Stephen Richardson
Mark Horowitz
Published in:
MICRO (2008)
Keyphrases
</>
information systems
management system
high speed
intelligent systems
model checking
highly parallel
multithreading
expert systems
low cost
neural network
distributed systems
computer systems
automated verification