Timing Verification and Delay Test Generation for Hierarchical Designs.

Arun Krishnamachary Jacob A. Abraham Raghuram S. Tupuri

Published in: VLSI Design (2001)

Keyphrases

test generation
symbolic execution
test cases
test sequences
design automation
static analysis
mutation testing
software testing
quality assurance
test data generation
regression testing
case study
databases
quality control
high level
image processing
code coverage
computer vision