An empirical study of fuzz stimuli generation for asynchronous FIFO and
memory coherency verification
Abstract
Fuzz testing is a widely used methodology for software testing. It
collects feedback of each run and uses it for generation of interesting
stimuli in the future. This paper discusses the ability and process of
fuzz stimuli generator for hardware verification. We chose an
asynchronous FIFO and a memory (gem5[1]) coherency verification
using fuzz. Our results substantiate the effectiveness of fuzz testing
in the hardware verification process.