Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs.

Kaki Ryan Cynthia Sturton

Published in: FMCAD (2023)

Keyphrases

symbolic execution
hardware designs
test generation
test data generation
static analysis
specification language
source code
data flow
model based diagnosis
test cases
genetic algorithm
case study
data model
low cost
complex systems