- 12 -

Риски сбоя в комбинационных схемах

Риском сбоя называется возможность появления на выходе цифрового устройства сигнала, не предусмотренного алгоритмом его работы и могущего привести к ложному срабатыванию. Отметим, что риск сбоя представляет собой только возможность ложного срабатывания. Конкретная цепь может давать риск сбоя, а может и не давать, причем даже при наличии риска сбоя может отсутствовать ложное срабатывание, следовательно, риск сбоя представляет собой наихудший случай.

Проектирование цифровой аппаратуры с использованием принципов комплексной миниатюризации на основе достижений микроэлектроники в качестве основной из своих задач выдвигает проблему обеспечения устойчивости ее функционирования при влиянии коструктивно-технологических факторов и дестабилизирующих воздействий внешней среды [1– 4].

Функциональная устойчивость определяется стабильностью реализации цифровым устройством заданного алгоритма работы при наличии разброса задержек выполнения операций в логических элементах, задержек сигналов в линиях связи и электромагнитных наводок паразитных сигналов. Термин “функциональная устойчивость” можно рассматривать также как синоним алгоритмической устойчивости.

В схемотехническом плане проблема функциональной устойчивости может быть сведена к устранению опасных состязаний (гонок) сигналов устройства. Эффект состязаний сигналов, приводящий к неустойчивой работе цифрового устройства, известен давно. Наиболее наглядный пример - эффект “дребезга” контактов реле, кнопок и других электромагнитных устройств. Проблема гонок в цифровой схемотехнике является очень серьезной. Большинство труднообнаруживаемых и удивительно разнообразно проявляющихся ошибок в цифровых схемах связано именно с гонками, возможность появления которых разработчик не предвидел или не заметил.

Состязаниями (гонками) сигналов называется процесс их распространения в различных цепях цифрового устройства при существовании разбросов временных задержек этих цепей. Цепь - совокупность логических и других элементов и линий связи между ними. Алгоритмическим переходом называется изменение сигнала на выходе какой-либо схемы, предусмотренное алгоритмом ее работы. Неалгоритмическим переходом называется изменение выходного сигнала, не предусмотренное алгоритмом ее работы. Опасными называются такие состязания, которые могут привести к неалгоритмическому переходу в цифровой схеме при заданных условиях ее работы, а неопасными называются такие состязания, которые не могут привести к неалгоритмическому переходу. Схемой, свободной от влияния опасных состязаний, называется такая цифровая структура, в которой неалгоритмический переход, возникший в части схемы из-за опасных состязаний, не изменяет алгоритма работы схемы в целом при заданных условиях ее работы.

Задержка логической схемы слагается из задержек срабатывания логических элементов и задержек распространения сигналов по цепям связи между ними. Важнейшим параметром, характеризующим инерционность логического элемента, является среднее время задержки выходного сигнала по отношению к входному t_зд.ср.. Трудоемкость учета задержек зависит от соотношения значений задержек самих логических элементов и задержек в цепи связи t_св.. Если эти значения близки, то задержки различных трактов схемы можно определить лишь после размещения элементов на поверхности печатной платы или кристалла БИС, когда станут известны фактические длины связей. В сверхбыстродействующих ИС и БИС, построенных на ТТЛШ- и ЭСЛ- элементах, время задержки выполнения логической операции в вентиле (логическом элементе) оценивается единицами или десятыми долями наносекунды. В этом случае не считаться с t_св. нельзя.

Ситуации, когда задержки t_св. превышают t_зд.ср., возникают и при использовании не очень быстродействующих элементов, когда сигналы передаются между блоками на достаточно большое расстояние. Однако доля подобных связей невелика, поэтому их можно выделить особо и учесть t_св. в линии связи. Тем не менее для большинства микроэлектронных устройств сейчас (90-е годы) выполняется соотношение t_св. < t_зд.ср..

Задержки различных экземпляров элементов какой-либо серии имеют технологический разброс, который обычно описывают некоторым статистическим законом. Дестабилизирующие воздействия внешней среды, в основном выражающиеся в изменении температуры, напряжения питания и в воздействии радиационного излучения, приводят к расширению диапазона вариации задержки выполнения операции в логических элементах и поэтому могут быть сведены к эквивалентному расширению влияния конструктивно-технологических факторов. Задержка каждого конкретного элемента зависит от количества и типа нагрузок, от паразитной емкости монтажа, числа лет с момента выпуска и ряда других факторов. Точное значение величины t_зд.ср. для конкретного случая не известно, так как в технических условиях изготовитель указывает значение t_{зд.ср.max} для наихудших условий применения. Разработчику часто полезно знать кроме максимальной еще и минимально возможную величину t_зд.ср.. К сожалению, для большинства серийно выпускаемых микросхем значение минимальной задержки в технических условиях не указано и, следовательно, изготовителем не гарантируется. Поэтому если разработчик аппаратуры, предназначенной для серийного выпуска, использует микросхемы, в паспорте которых не оговорено минимальное значение задержки, то он вынужден полагать его равным нулю. Никаких юридических оснований считать, что это значение больше нуля у него нет [4].

Специфическим фактором, приводящим к разбросу t_зд.ср., является длительность фронта (спада) входного сигнала при наличии разброса порогов срабатывания логических элементов. Особенно важно не допускать малой крутизны фронта или спада в схемах на элементах типа КМДП, в которых возможен большой разброс пороговых напряжений. Такое явление часто называют гонками по входу (рис. 1). Опасностью возникновения гонок по входу объясняются ограничения на максимальную длительность переходов 01 и 10 входных сигналов, приводимые в паспортах многих микросхем.

Рис. 1. Гонки по входу

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

Динамический анализ ведут с учетом следующих обстоятельств.

1. Изменение входного набора схемы состоит из неодновременных изменений различных входных переменных, образующих этот набор. Поэтому последовательность входных наборов можно рассматривать как набор входных последовательностей из нулей и единиц, действующих независимо друг от друга на разных входах. Переключательным процессом называется последовательность уровней “1” и “0” (импульсов и пауз), которая на любом конечном наблюдаемом интервале времени содержит конечное число переходов 01 и 10. Примеры переключательных процессов приведены на рис. 2. Длиной переключательного процесса называется общее число изменений сигнала в нем. Например, для процесса x₄ на рис. 2 длина равна 3. Переключательный процесс называется сложным, если его длина больше или равна 2. В противном случае он называется простым переключением.

Для векторного процесса (переключения совокупности переменных) соответствующим понятием является вектор длин. Компоненты этого вектора - длины процессов, являющихся компонентами векторного процесса. Например, векторный процесс, компонентами которого являются шесть процессов на рис. 2, имеет вектор длин (5, 3, 1, 1, 0, 0). Векторный переключательный процесс считается простым переключением, если все его компоненты - простые переключения, совершаемые одновременно. В противном случае векторный процесс считается сложным. На рис. 2 набор (вектор) Х₁ = x₅x₄x₃x₂x₁x₀ = 101010 изменяется на набор (вектор) Х₂ = 010110.

Рис. 2. Переключательные процессы

2. Помимо логических элементов в схеме могут иметься специальные вспомогательные элементы – задержки. Задержки, связанные с логическими элементами и линиями связи, обычно называют паразитными задержками, чтобы отличить их от задержек, которые могут быть введены в цепь для гарантирования должного функционирования (например, при реализации разностных преобразователей или детекторов событий [5]). Событие - любое изменение логического сигнала, в том числе сложный переключательный процесс.

Представляют интерес два вида задержек. Первый тип – чистая задержка, которая при подаче на вход сигнала x(t) обусловливает на выходе сигнал y(t–τ), где τ – величина задержки. Таким образом, выход является просто задержанным на фиксированную величину переключательным процессом, а формы (длины!) выходных и входных процессов являются идентичными. Инвертирование сигнала, следовательно, не рассматривается как изменение формы.

Второй тип – инерционная задержка или фильтр. Фильтр осуществляет ту же операцию, что и чистая задержка, но сверх того не пропускает на выход изменений входного сигнала, отстоящих одно от другого по времени менее чем на ‘τ’, благодаря чему процесс на выходе может изменить форму. На рис. 3 показано различие между чистой и инерционной задержкой (фильтром). Справедливо утверждение, что паразитные задержки имеют компоненты как чистой, так и инерционной задержки.

Рис. 3. Чистая и инерционная задержки

3. Каждый инерционный логический элемент в большинстве случаев можно представить в виде модели, содержащей последовательное соединение безынерционного логического элемента, реализующего безынерционное преобразованиеZ = f(X), с элементом задержки (иногда фильтром) на ‘τ’ (рис. 4).

Рис. 4. Элемент задержки

Под‘τ’подразумевается паразитная задержка. Величину ‘τ’, а также моменты изменений входных переменных схемы, называют временными параметрами. Очевидно, что в общем случае значение ‘τ’моделирующей задержки зависит от того, какое изменение сигнала 01 или 10 имеет место на выходе элемента, то есть τ=τ₀₁ и τ=τ₁₀. В простейшем случае τ₀₁=τ₁₀=τ.

В различных частях комбинационной схемы в зависимости от числа последовательно включенных элементов переходный процесс после смены входного набора будет заканчиваться в разное время. Это приведет либо к деформированию длительности выходных сигналов либо к появлению рисков сбоя. И то и другое в отдельных случаях может нарушить нормальную работу последующих устройств.