Fast test generation for circuits with RTL and gate-level views.

Srivaths Ravi Niraj K. Jha

Published in: ITC (2001)

Keyphrases

test generation
test cases
mutation testing
high speed
cmos technology
decision trees
case study
multiple views
design automation
symbolic execution
data sets
databases
artificial intelligence
software testing
static analysis