McVerSi: A test generation framework for fast memory consistency verification in simulation.

Marco Elver Vijay Nagarajan

Published in: HPCA (2016)

Keyphrases

test generation
test cases
artificial intelligence
simulation environment
static analysis
symbolic execution
image processing
case study
cooperative