Hardware Accelerated Functional Verification