Formal Hardware Verification