Beyond Random Inputs: A Novel ML-Based Hardware Fuzzing

no code implementations • 10 Apr 2024 • Mohamadreza Rostami, Marco Chilese, Shaza Zeitouni, Rahul Kande, Jeyavijayan Rajendran, Ahmad-Reza Sadeghi

ChatFuzz achieves condition coverage rate of 75% in just 52 minutes compared to a state-of-the-art fuzzer, which requires a lengthy 30-hour window to reach a similar condition coverage.

Vulnerability Detection

LLM-assisted Generation of Hardware Assertions

no code implementations • 24 Jun 2023 • Rahul Kande, Hammond Pearce, Benjamin Tan, Brendan Dolan-Gavitt, Shailja Thakur, Ramesh Karri, Jeyavijayan Rajendran

As vulnerabilities in hardware can have severe implications on a system, there is a need for techniques to support security verification activities.

Code Generation