또한 제 어 로직 ( 140 ) 은 프로그램 검증 동작 시 프로그램 순서 에 따라 비트 라인 들 에 인가 되 는 비트 라인 전압 이 가변 되 도록 읽 기 및 쓰 기 회로 ( 130 ) 를 제어 할 수 있 다 . 예 를 들 어 프로그램 순서 가 점차 진행 될수록 프로그램 검증 동작 시 비트 라인 에 인가 되 는 비트 라인 전압 이 점차 하강 되 도록 읽 기 및 쓰 기 회로 ( 130 ) 를 제어 할 수 있 다 .