본 발명 에 의하 면 , 소거 페일 된 워드 라인 으로부터 소거 검증 이 재개 된다 . 예 를 들 면 , 제 1 소거 루프 ( loop ) 에서 소거 및 소거 검증 이 수행 된 것 으로 가정 한다 . 소거 검증 시 에 , 소거 페일 된 워드 라인 이 검출 된 것 으로 가정 한다 . 예 를 들 면 , 제 1 내지 제 i - 1 워드 라인 들 이 소거 패스 되 고 , 제 i 내지 제 j 워드 라인 들 이 소거 페일 된 것 으로 가정 한다 . 이때 , 제 2 소거 루프 에서 소거 및 소거 검증 이 수행 될 것 이 다 . 제 2 소거 루프 의 소거 검증 은 제 1 소거 루프 에서 검출 된 소거 페일 된 워드 라인 ( WL ) 으로부터 수행 될 것 이 다 . 예 를 들 면 , 제 1 내지 제 i - 1 워드 라인 들 에 대한 소거 검증 은 생략 되 고 제 i 워드 라인 으로부터 소거 검증 이 수행 될 것 이 다 .