DATE2022 www.date-conference.com 22.4 Formal Methods in Design and Verification of Software and Hardware Systems BMC+FUZZ : EFFICIENT AND EFFECTIVE TEST GENERATION DOLMEN: FPGA SWARM FOR SAFETY AND LIVENESS VERIFICATION ADDING DUAL VARIABL…