Design verification and validation