An empirical study of fuzz stimuli generation for asynchronous FIFO and memory coherency verification

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.