Sign in
Model Based Test Generation for Microprocessor Architecture Validation.
Sreekumar V. Kodakara
Deepak Mathaikutty
Ajit Dingankar
Sandeep K. Shukla
David J. Lilja
Published in:
VLSI Design (2007)
Keyphrases
</>
test generation
test cases
design methodology
design automation
test sequences
instruction set
symbolic execution
static analysis
case study
high speed
software testing
test data generation
databases
monitoring system
data flow
floating point