Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs

11 April 2023

Papers citing "Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs"

2 / 2 papers shown

Title
Augmented Symbolic Execution for Information Flow in Hardware Designs Kaki Ryan Matthew Gregoire C. Sturton 11 0 0 21 Jul 2023
Fuzzing Hardware Like Software Timothy Trippel K. Shin A. Chernyakhovsky Garret Kelly Dominic Rizzo Matthew Hicks 43 87 0 03 Feb 2021