HWE.4 Verification against Hardware Requirements ()