프로그램 동작 혹은 검증 동작 동안 , 프로그래밍 될 데이터 ( 기입 데이터 ) 는 데이터 버스 ( 120 ) 로부터 데이터 래치 들 의 세트 ( 194 - 197 ) 에 저장 되 는 바 , 2 - 비트 형 저장 소자 구 현예 에서 는 , LDL 및 UDL 래치 들 에 저장 된다 . 3 - 비트 형 저장 소자 구 현예 에서 는 , 2 개 의 상위 데이터 래치 들 인 UDL 1 및 UDL 2 가 사용 될 수 있 다 . 상태 머신 의 제어 하 에서 프로그래밍 동작 은 , 어 드레싱 된 저장 소자 들 의 제어 게이트 들 에 가해 지 는 일련 의 프로그래밍 전압 펄스 들 을 포함 한다 . 각각 의 프로그램 펄스 이후 에 , 해당 저장 소자 가 원 하 는 메모리 상태 로 프로그래밍 되 었 는지 를 결정 하 기 위해 되판 독 ( read back ) ( 검증 ) 이 수행 된다 . 일부 경우 들 에 있 어서 , 프로세서 ( 192 ) 는 되판 독 된 메모리 상태 를 원하 는 메모리 상태 에 대비 하 여 모니터링 한다 . 두 개 가 일치 하 는 경우 , 프로세서 ( 192 ) 는 , 비트 라인 이 프로그램 금지 를 나타내 는 상태 가 되 도록 비트 라인 래치 ( 182 ) 를 설정 한다 . 이것 은 비트 라인 에 결합 된 저장 소자 가 , 그 제어 게이트 상 에 프로그램 펄스 들 이 나타나 도 , 더 이상 프로그래밍 되 는 것 을 금지 시킨다 . 다른 실시 예 들 에서 , 프로세서 는 먼저 비트 라인 래치 ( 182 ) 를 로딩 ( loading ) 하 고 , 감지 회로 는 검증 프로세스 동안 여기 에 금지 값 을 설정 한다 .