Fuzz-Testing of SpinalHDL Designs *