Guiding RTL Test Generation Using Relevant Potential Invariants.

Tania Khanna Michael Hsiao

Published in: ICCD (2018)

Keyphrases

test generation
test cases
test sequences
design automation
symbolic execution
decision trees
multi agent
complex systems
mutation testing
database
machine learning
computer vision
database systems
data warehouse
static analysis
code coverage