Микропроцессорные системы. Архитектура и проектирование. Анкудинов И.Г. - 92 стр.

UptoLike

ВУЗ: 

СЗТУ | Санкт-Петербург

Составители: 

Рубрика: 

5.2. Тестирование и автономная отладка аппаратных
средств
Тестирование дискретных автоматов
Для контроля и диагностики автоматов применяют специальные
тесты [14]. Контролем устройства называют обнаружение
неисправности в работе устройства. Процесс контроля и
диагностики можно совместить с работой устройства или же
выполнить во время простоя устройства. В последнем случае на
комбинационный автомат подают контролирующий тест – набор
входных воздействий, реакция схемы на которые позволяет
обнаружить неисправное функционирование в случае контроля
или же локализовать отказ – в случае диагностики.
Троичное моделирование. В качестве примера рассмотрим
тестирование моделей комбинационных автоматов на стадии
проектирования. Задержки сигналов, возникающие в реальных
логических элементах, вызывают задержку выходных сигналов
комбинационного автомата, а также являются причиной таких
явлений, как статический и динамический риск сбоя.
Возможность появления ложного сигнала ⎯f(A) на выходе
комбинационного автомата в результате мгновенной замены набора входных
сигналов A набором B, причем f(A)=f(B), называется статическим риском сбоя.
Возможность многократных изменений сигнала на выходе
комбинационного автомата в результате мгновенной замены набора входных
сигналов A набором B, причем f(B)=⎯f(A), называется динамическим риском
сбоя. Динамический риск является следствием статического риска сбоя,
поэтому задача выявления статического риска является актуальной.
Для обнаружения статического риска сбоя на стадии проектирования
применяют троичное моделирование работы комбинационного автомата. Для
представления неопределенного, промежуточного (между 0 и 1) значения
двоичного сигнала, получающегося во время переходного процесса в схеме,
берут число ½. Таким образом, от двоичного алфавита мы переходим к
троичному алфавиту. Логические операции И, ИЛИ, НЕ при этом
модифицируются следующим образом:
a ∧ b = min (a, b);
a ∨ b = max (а, b)

Страницы