SymbFuzz: Symbolic Execution Guided Hardware Fuzzing.

Samit Shahnawaz Miftah, Amisha Srivastava, Hyunmin Kim, Shiyi Wei, Kanad Basu

Browse the full MICRO paper archive.