Design verification process