ФОРМ Formula HFMT Тестер Памяти (платформа FormulaHF2)

ФОРМ
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 анализ
Векторное отображение