Verification measures are specified for verification of the hardware against the hardware requirements. Verification measures are selected considering criteria, including criteria for regression verification. Verification is performed, if applicable on production data compliant samples, using the selected verification measures, and verification results are recorded. Consistency and bidirectional traceability are established between verification measures and hardware requirements. Bidirectional traceability is established between verification measures and verification results. Verification results are summarized and communicated to all affected parties.