ФОРМ Formula HFMT Тестер Памяти (платформа FormulaHF2) Антон Климовских Функциональный Контроль (ФК) Разница при проведении ФК СБИС ЗУ ФК линейный с небольшим количеством циклов и подпрограмм для динамики и поиска состояний ФК состоит только из циклов и переходов с алгоритмической генерацией данных на задание и на контроль Ядро тестера – ГТП Ядро тестера - АГТ Тестер Памяти: FormulaHFMT Типы памяти: Платформа: FormulaHF2 • SRAM – статическая СОЗУ; • EEPROM, Flash – электрически стираемая перепрограммируемая постоянная; • Dual-Port SRAM – статическая двух-портовая; • SDRAM – динамическая ДОЗУ; • ROM – постоянная ПЗУ; • PROM – программируемая постоянная ППЗУ; • EPROM – перепрограммируемая постоянная РПЗУ; • Другой тип микросхем памяти. Основные характеристики АГТ Алгоритмический Генератор Тестов (АГТ) обеспечивает: • Конфигурирование до 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/const Описание Rx := Rx OR Ry; Rx := Rx OR const; (const – заданное значение) AND Rx, Ry/const Rx := Rx AND Ry; Rx := Rx AND const; XOR Rx, Ry/const Rx := Rx XOR Ry; Rx := Rx XOR const; NOT Rx Инверсия Rx ADD Rx, Ry/const Rx := Rx + Ry; Rx := Rx + const; SUB Rx, Ry/const Rx := Rx - Ry; Rx := Rx - const; MOV Rx, Ry/const Rx := Ry; Rx := const; ROL/ROR Rx Циклические сдвиг влево/вправо значения Rx SHL/SHR Rx Логический сдвиг влево/вправо значения Rx INC/DEC Rx Rx := Rx + 1; Rx := Rx - 1; const UNUSED Прямое задание данных на шину Все регистры сохраняют свои значения (на шине предыдущее значение) Измерительная программа на 1645РУ4 Основное окно Мастера Конфигурация Проекта Редактор Времен Редактор Уровней Редактор Инструкций Настройка Карты Ошибок Карта ошибок ЗУ DRV анализ Векторное отображение