도 10 b 는 도 10 a 이후 의 상태 를 나타내 며 , 여기 서 는 , 2 - 국면 프로그래밍 동작 의 제 1 국면 에서 최소 개수 의 저장 소자 들 이 Vth > VvaL 를 갖 는다 . 여기 서 는 , 다수 의 프로그램 펄스 들 이 연속 적 인 프로그램 - 검증 반복 들 에서 가해졌 다 . 검증 동작 들 에 관해 , 모든 타 겟 상태 들 이 매 프로그램 펄스 이후 에 검증 될 필요 는 없 다는 것 에 유의 해야 한다 . 대신 에 , 검증 될 특정 상태 들 은 , 프로그래밍 국면 초기 에 하위 상태 들 이 검증 되 지만 상위 상태 들 은 검증 되 지 않 고 그 다음 에 대부분 의 상태 들 혹은 모든 상태 들 이 검증 되 며 그 다음 에 모든 하위 상태 저장 소자 들 이 락 아웃 됨 에 따라 상위 상태 들 이 검증 되 지만 하위 상태 들 은 검증 되 지 않 게 진행 되 는 전체 프로그래밍 국면 이 되 도록 조정 될 수 있 다 . 분포 ( 1002 ) 의 폭 은 자연 Vth 분포 와 비슷 하 거나 혹은 이 보다 더 작 을 수 있 다 . 프로그램 펄스 들 이 가해짐 에 따라 , 저장 소자 들 의 임계 전압 은 지속 적 으로 증가 한다 . 최소 개수 의 저장 소자 들 이 VvaL 에 도달 하 는 경우 , 예컨대 , 즉 , 이 들 의 Vth 가 VvaL 보다 큰 경우 , 카운터 ( counter ) 를 트리거 ( trigger ) 하 는 조건 이 충족 된다 . 분포 ( 1002 ) 의 영역 ( 1004 ) 은 Vth > VvaL 인 저장 소자 들 을 나타낸다 . VvaL 에 도달 한 저장 소자 들 의 개수 는 , 검증 동작 의 결과 를 표시 하 는 데이터 를 저장 하 는 감지 증폭기 들 내 의 래치 들 의 비트 스캔 ( bit scan ) 으로부터 결정 될 수 있 다 . 검증 동작 에서 , 비트 는 저장 소자 및 그 비트 라인 이 ( Vth > VvaL 인 것 을 표시 하 는 ) 비 전도성 상태 임 이 감지 되 는 경우 감지 증폭기 에서 플립 ( flip ) 될 것 이 다 . VvaL 에서 의 검증 동작 은 모든 저장 소자 들 들 에 대해 , 이 들 의 타 겟 데이터 상태 에 상관없이 , 수행 될 수 있 음 에 유의 해야 한다 .