Augmented Symbolic Execution for Information Flow in Hardware Designs

Kaki Ryan, Matthew Gregoire, Cynthia Sturton

We present SEIF, a methodology that combines static analysis with symbolic execution to verify and explicate information flow paths in a hardware design. SEIF begins with a statica…