A Novel Approach to Test Generation for VLSI.

C. Timoc F. Stott L. Hess

Published in: COMPCON (1982)

Keyphrases

test generation
test cases
symbolic execution
design automation
test sequences
quality assurance
vlsi design
static analysis
signal processing
high speed
software testing
databases
test data generation
code coverage
open source
database systems
computer vision