Метод программирования или верификационного программирования многоуровневого энергонезависимого устройства памяти позволяет запоминать более двух различных состояний в каждой запоминающей позиции памяти. Конкретно, многоуровневая ячейка памяти сохраняет информацию в K{n} состояниях, где K – основание заданной системы счисления, а n – число разрядов, сохраняемых в ячейке (К{n}>2). С помощью средств программирования многоуровневая ячейка памяти программируется на определенное состояние, соответствующее входной информации. Компаратор сравнивает запоминаемое состояние многоуровневой ячейки памяти с входной информацией, соответствующей одному из множества опорных напряжений, и на основании результатов сравнения генерирует сигнал управления, соответствующий запоминаемому состоянию. После программирования ячейки памяти до выбранного состояния ее запрограммированное состояние м. б. верифицировано независимо от эталонных значений, ограничивающих запоминаемые состояния.