Hacker News new | ask | show | jobs
by bartlettD 891 days ago
The claim here is that "existing hardware fuzzers are inefficient in verifying processors because they make many static decisions disregarding the design complexity and the design space explored".

"To address this limitation of static strategies in fuzzers, we develop an approach to equip any hardware fuzzer with a dynamic decision-making technique, multi-armed bandit (MAB) algorithms." (From their paper: https://arxiv.org/pdf/2311.14594.pdf)

They're saying their fuzzer is faster and better at finding bugs than other fuzzing aproaches.