Hardware-Accelerated Verification ENvironment