ФОРМ Formula HFMT Тестер Памяти (платформа FormulaHF2) Антон Климовских

Функциональный Контроль (ФК) Разница при проведении ФК СБИСЗУ ФК линейный с небольшим количеством циклов и подпрограмм для динамики и поиска состояний ФК состоит только из циклов и переходов с алгоритмической генерацией данных на задание и на контроль Ядро тестера – ГТПЯдро тестера - АГТ

Платформа: FormulaHF2 Типы памяти: SRAM – статическая СОЗУ; EEPROM, Flash – электрически стираемая перепрограммируемая постоянная; Dual-Port SRAM – статическая двух-портовая; SDRAM – динамическая ДОЗУ; ROM – постоянная ПЗУ; PROM – программируемая постоянная ППЗУ; EPROM – перепрограммируемая постоянная РПЗУ; Другой тип микросхем памяти. Тестер Памяти: FormulaHFMT

Основные характеристики АГТ Алгоритмический Генератор Тестов (АГТ) обеспечивает: Конфигурирование до 24-х алгоритмических шин; 8 регистров общего назначения на каждую шину; Прерывание по времени прохождения векторов; Условные и задержанные условные переходы; Разрядность операнда команд выборки 32 бита;

АГТ: команды выборки МнемоникаОписание JMPБезусловный абсолютный переход по ОЗУ инструкций CALL-RETВызов подпрограммы – возврат из подпрограммы (вложенность до 8) DO-LOOPВход в цикл – проверка выхода из цикла (вложенность до 8) MBGN/MENDНе фиксировать дальнейшие браки/фиксировать дальнейшие браки JNZ/JZУсловный переход по браку/условный переход по годности SCE2R/JNRZСохранить текущее состояние (брак/годен) в регистр/условный переход по результату сохраненному в регистре INT_RETВозврат из подпрограммы прерывания REPПовтор вектора CTR_STATICКоманда управления 33-м каналом и источниками VCC/VDD HALT Последняя инструкция в тесте NOPПустая операция

АГТ: алгоритмические команды МнемоникаОписание OR Rx, Ry/constRx := Rx OR Ry; Rx := Rx OR const; (const – заданное значение) AND Rx, Ry/constRx := Rx AND Ry; Rx := Rx AND const; XOR Rx, Ry/constRx := Rx XOR Ry; Rx := Rx XOR const; NOT RxИнверсия Rx ADD Rx, Ry/constRx := Rx + Ry; Rx := Rx + const; SUB Rx, Ry/constRx := Rx - Ry; Rx := Rx - const; MOV Rx, Ry/constRx := Ry; Rx := const; ROL/ROR RxЦиклические сдвиг влево/вправо значения Rx SHL/SHR RxЛогический сдвиг влево/вправо значения Rx INC/DEC RxRx := Rx + 1; Rx := Rx - 1; constПрямое задание данных на шину UNUSEDВсе регистры сохраняют свои значения (на шине предыдущее значение)

Измерительная программа на 1645РУ4

Основное окно Мастера

Конфигурация Проекта

Редактор Времен

Редактор Уровней

Редактор Инструкций

Настройка Карты Ошибок

Карта ошибок ЗУ

DRV анализ

Векторное отображение