Fuzzing High-Level Synthesis Tools
Zewei Du, Yann Herklotz, Nadesh Ramanathan, John Wickerson · 2021
High-level synthesis (HLS) is becoming an increasingly important part of the computing landscape, even in safety-critical domains where correctness is key. As such, HLS tools are increasingly relied upon. But are they trustworthy?