Symbolic Execution

SymbFuzz: Symbolic Execution Guided Hardware Fuzzing

Symbolic execution guided hardware fuzzing for deeper vulnerability detection in hardware designs.

samit-shahnawaz-miftah