S 230 단계 에서 , 선택 된 워드 라인 이 소거 검증 된다 . 예 를 들 면 , 제 어 로직 ( 170 a ) 은 선택 된 메모리 블록 ( BLKa ) 의 복수 의 메모리 셀 들 ( MC ) 중 선택 된 워드 라인 에 대응 하 는 메모리 셀 들 ( MC ) 이 소거 검증 되 도록 어드레스 디코더 ( 120 ) , 읽 기 및 쓰 기 부 ( 130 ) , 그리고 전압 생 성부 ( 160 ) 를 제어 할 것 이 다 .