АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Обнаружение неисправностей вида «временная задержка»

Читайте также:
  1. Глава 3 ОБНАРУЖЕНИЕ ОБМАНА ПО СЛОВАМ, ГОЛОСУ И ПЛАСТИКЕ
  2. Глава 8 ОБНАРУЖЕНИЕ ЛЖИ И УЛИЧЕНИЕ ЛЖЕЦОВ В 1990-е ГОДЫ
  3. Исследователям уточнить эпидемиологию болезни. 1935 г. — обнаружение различной ревматогенности
  4. КЛАССИФИКАЦИЯ ОТКАЗОВ И НЕИСПРАВНОСТЕЙ
  5. Обнаружение загрузочного вируса
  6. Обнаружение коротких замыканий.
  7. Обнаружение неисправностей в схемах с памятью.
  8. Обнаружение утечки информации и теория устрашения
  9. Обнаружение, осмотр, фиксация и изъятие огнестрельного оружия и следов выстрела
  10. Обнаружение, осмотр, фиксация, изъятие и исследование взрывотехнических объектов
  11. СПОСОБЫ УСТРАНЕНИЯ НЕИСПРАВНОСТЕЙ И РЕГУЛИРОВКА

Обнаружение неисправностей типа «временная задержка» (ВЗ) распространения логического сигнала является важной областью в тестировании микроэлектронных схем. С увеличением быстро­действия схем и их тактовой частоты становится более вероятным влияние временных отклонений на правильную работу аппарату­ры. Особенностью В3 по сравнению с другими видами отказов яв­ляется то, что они не нарушают логическую структуру схемы и в то же время приводят к ошибочным результатам вычислений.

Временная задержка (delay fault) – есть модель повреждений, ко­торые вызывают неправильную работу логических схем относи­тельно тактовой частоты. Это можно пояснить схемой на рисунке 1. По сигналу Сl переменные x из входного регистра подаются на вход схемы. По сигналу С2 выходные сигналы у записываются в выход­ной регистр. Пусть s есть время от момента изменения входных сиг­налов х до момента изменения всех выходных сигналов у. Оно равно времени прохождения сигнала по самому длинному пути в схеме.

Рисунок 1 – Синхронизация работы логической схемы

Если окажется, что s > С' то в выходном регистре будут записа­ны неправильные значения сигналов у. Цель тестирования задер­жек удостовериться, что каждый путь в схеме имеет время прохож­дения сигнала меньше, чем С'.

Рассматриваются две модели временных неисправностей: задержка элемента (gate delay fault) – моделирует дефекты, ко­торые вызывают реальную задержку распространения сигнала че­рез отдельный элемент, превышающую их спецификацию; задержка пути (path delay fault) – моделирует задержку сигнала, возникающую в результате суммирования распределенных задержек всех элементов пути.

Рисунок 2 – Виды временных задержек

При этом различают два вида задержек: В3 возрастающего перехoдa сигнала 0→1 (рисунок 2 а) и В3 убывающего перехода сигнала 1→0 (рисунок 2 б). Для обнаружения В3 на вход схемы надо последовательно подать два набора V1 и V2. Набор V1 «устанавливающий» должен установить сигнал 1 (для задержки 1→0) или сигнал 0 (для задержки 0→1) на той линии схемы, откуда начинается изменение (перепад) логического сигнала. Для В3 элемента такой линией является выходная линия элемента (рисунок 3 а) для В3 пути – вход элемента, с которого начинается данный путь (рисунок 3 б).

Рисунок 3 – Изменение логических сигналов на линиях схемы

При тестировании набор V1 подается в момент времени t1 (см. рисунок 1) по сигналу Сl. После того как все сигналы у устанавливаются, в момент времени t2, по сигналv С1 подается набор V2 «продвигающий», который должен выполнить две задачи: 1) установить на линии схемы, с которой начинаются изменения логического сигнала, сигнал 0 (для перепада 1→0) или сигнал 1 (для перепада 0→1); 2) обеспечить наличие хотя бы одного чувствительного пути от этой линии до выхода схемы. В момент времени t3 (см. рисунок 1) производится имерение выходных сигналов и сравнение их с эталонными сигналами, которые должны быть у исправной схемы.

Рисунок 4 – Изменение логических сигналов на линиях схемы

На рисунке 4 показаны классификация тестов и классификация неисправностей. Тест называется свободным от состязаний, если для всех элементов, входящих в чувствительный путь, выполняется условие: логический сигнал изменяется только на одном входе. Состязания на входах элемента возникают при одновременном изменении сигналов на двух или более входах. В этом случае на выходе элемента может появиться паразитный импульс.

Тест называется робастным (robust test) относительно неисправности ni, если он обнаруживает эту неисправность независимо от существования в схеме других ВЗ путей. В противном случае, тест называется неробастным. Вообще, любой тест, свободный от сотязания, является робастным (обратное не имеет места).

Тест называется достоверно неробастным (validatable non robust test) относительно неисправности ni, если он не является робастным и выполняется условие: для дюбого множества неисправностей, при наличии которых в схеме, тест τi не обнаруживает неисправность ni, существует последовательность тестов, после приложения которых в определенном порядке все неисправности обнаруживаются.

Если неробастный тест τi не является достоверно неробастным, то ВЗ ni называется слабопроверяемой на этом тесте. Это означает, что данная ВЗ не может быть гарантированно обнаружена на этом тесте из-за возможности маскировки другими ВЗ. Если неисправность ni не имеет теста τi, то она называется нетестируемой.

 


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.003 сек.)