failure verification semiconductor