Design for test; Design verification