A-QED Verification of Hardware Accelerators