hardware design verification process