Login / Signup
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.
Allon Adir
Eli Almog
Laurent Fournier
Eitan Marcus
Michal Rimon
Michael Vinov
Avi Ziv
Published in:
IEEE Des. Test Comput. (2004)
Keyphrases
</>
functional verification
test cases
symbolic execution
test generation
high speed
multiple choice
formal verification
parallel processing
statistical tests
generation process
general purpose
programming language
model checking
static analysis
hardware designs