|
|||||||
АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция |
Обнаружение неисправностей вида «временная задержка»Обнаружение неисправностей типа «временная задержка» (ВЗ) распространения логического сигнала является важной областью в тестировании микроэлектронных схем. С увеличением быстродействия схем и их тактовой частоты становится более вероятным влияние временных отклонений на правильную работу аппаратуры. Особенностью В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, то она называется нетестируемой.
Поиск по сайту: |
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.004 сек.) |