Functional Hardware Verification