====== Hardware Verification ======