A Signal-Driven Discrete Relaxation Technique for Architectural Level Test Generation.

Jaushin Lee Janak H. Patel

Published in: ICCAD (1991)

Keyphrases

test generation
test cases
signal processing
symbolic execution
design automation
test sequences
databases
open source
high frequency
static analysis
data model
image data
software engineering
frequency domain