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

Kaki Ryan, Cynthia Sturton

Browse the full FMCAD paper archive.