Fast Multi-level Test Generation at the RTL.

Kelson Gent Michael S. Hsiao

Published in: ISVLSI (2016)

Keyphrases

test generation
test cases
symbolic execution
test sequences
static analysis
design automation
quality assurance
mutation testing
software testing
model based diagnosis
regression testing
computer vision
test suite
quality control
matching algorithm
relational databases
feature selection