Вычисление наблюдаемоститриггеров в рамках LOS техники сканирования состояний схемы
Для обнаружения неисправностей задержек сигналов в схемах с памятью используетсятехника сканирования состояний схемы, основанная на применении специальных триггеров, функционирующих как элементы памяти в рабочем режиме и как элементы сдвигового регистра в режиме тестирования. При этом не каждая тестовая пара может поступать навходы комбинационного эквивалента схемы. Зарубежными исследователями была предложена расширенная техника сканирования, основанная на дублировании триггеров. Эта техника требует большой аппаратурной избыточности, которая не устраивает практиков.Затем была предложена частичная техника сканирования, при которой в расширенную сканируемую цепь включаются лишь некоторые триггеры. Возникает проблема их выбора.В статье приводится алгоритм оценки наблюдаемости переменной состояния, сопоставляемой триггеру, основанный на робастной тестируемости неисправностей задержек путейи ориентированный на Launch-on-Shift (LOS)-технику сканирования. Триггеры с низкимиоценками наблюдаемости соответствующих переменных состояния являются претендентами для включения в расширенную сканируемую цепь. Приводятся результаты экспериментов на контрольных примерах.
Keywords
path delay fault (PDF), robust PDF, equivalent normal form (ENF), Launch-on-Shift (LOS) scan technique, неисправность задержки пути, робастная неисправность задержки, эквивалентная нормальная форма (ЭНФ), LOS-техника сканирования состояний схемыAuthors
Name | Organization | |
Melnikov Alexey Vladimirovich | National Research Tomsk State University | |
alexey.ernest@gmail.com |
References
