상기 구성 에 있 어서 , 데이터 버퍼 는 복수 의 메모리 셀 각각 에 기록 하 는 데이터 를 유지 하 는 기능 을 가진다 . 기록 회로 는 데이터 버퍼 에 유지 된 데이터 에 기초 하 여 , 복수 의 메모리 셀 각각 에 복수 의 전위 중 어느 하나 의 전위 를 데이터 로서 기록 하 는 기능 을 가진다 . 판독 회로 는 메모리 셀 에 기록 된 데이터 를 판독 하 는 기능 을 가진다 . 검증 회로 는 판독 된 데이터 와 , 데이터 버퍼 에 유지 된 데이터 가 일치 하 는지 여부 를 검증 하 는 기능 을 가진다 .