ИНФОРМАЦИОННО-УПРАВЛЯЮЩИЕ СИСТЕМЫ ^
УДК 681.3
М:10.15217/1з8п1684-8853.2016.3.24
АНАЛИЗ ПРОЦЕССОВ В КОНЕЧНОМ АВТОМАТЕ
ПРИ ВОЗДЕЙСТВИИ РАДИАЦИИ.
ОЦЕНКА ВЕРОЯТНОСТИ ИСКАЖЕНИЯ ИНФОРМАЦИИ
И. В. Егорова, аспирант
В. Ф. Мелехина, доктор техн. наук, профессор
аСанкт-Петербургский политехнический университет Петра Великого, Санкт-Петербург, РФ
Постановка проблемы: для решения вопросов функциональной организации цифровых устройств со структурной избыточностью, подверженных потоку информационных отказов, связанных с воздействием радиации, необходим анализ процессов, возникающих при действии частиц высокой энергии на интегральные схемы. Цель: установление функциональной связи характеристик случайного потока событий, заключающихся в попадании частиц высокой энергии в элементы интегральных схем, с характеристиками случайного потока отказов, заключающихся в искажении информации, хранящейся в памяти автомата. Результаты: получены описания процессов, связанных с воздействием радиации на интегральные схемы, на трех уровнях представления: физических эффектов в полупроводниковых структурах транзисторов; электрических процессов в электронных схемах на транзисторах, возникновения и распространения сигналов в электронных схемах; искажения сигналов и информации в схемах устройств на уровне логических элементов. Получены оценки вероятностей возникновения информационных отказов. Предложенный подход к анализу процессов может быть использован и для других элементов и устройств. Практическая значимость: полученные результаты позволяют проводить анализ влияния радиации на информационные процессы в цифровых устройствах. На основании результатов данного анализа можно использовать эффективные способы введения структурной избыточности для повышения надежности системы.
Ключевые слова — полупроводниковая структура, транзистор, вентиль, логический элемент, синхронный триггер, КМОП-технология, радиационные эффекты, «мягкие» отказы, вероятностные характеристики, поток частиц высокой энергии, поток информационных отказов, физические процессы, электрические процессы, информационные процессы.
Введение
В работе [1] рассмотрены общие концептуальные представления о восстанавливаемых системах, подверженных потоку «мягких» отказов (возникновению и распространению ложных информационных импульсов), и подходы к функционально-логическому проектированию подобных систем; определен ряд вопросов, требующих отдельного исследования. Один из таких вопросов — это исследование вариантов функциональной организации блоков, моделью которых является автомат с памятью со структурным резервированием и периодическим восстановлением. При этом надо учитывать различное влияние на надежность блока системы ложных импульсов на выходах логических элементов (ЛЭ), возникающих при действии радиации, в комбинационных схемах и в триггерах автомата. Для проведения таких исследований требуется предварительный анализ процессов, связанных с воздействием радиации на интегральные схемы и их компоненты — логические элементы и триггеры. Необходимо последовательно рассмотреть и увязать между собой процессы на разных уровнях представления элементов и устройств:
— физические процессы в полупроводниковых структурах транзисторов при попадании частицы высокой энергии;
— электрические процессы в электронных цепях логических элементов и триггеров, представленных на уровне транзисторов;
— процессы возникновения и распространения логических сигналов в устройствах, представленных на уровне логических элементов, с учетом их влияния на хранение, передачу и обработку информации.
На основе такого исследования можно получить вероятностные оценки возникновения мягких отказов в цифровых устройствах и использовать их для комплексного анализа надежности в соответствии с подходами, предложенными в работах [2-4]. Это позволит перейти к сравнительному анализу различных вариантов функциональной организации цифровых устройств со структурной избыточностью.
Анализ процессов, вызванных воздействием радиации, в полупроводниковой структуре транзистора и в вентиле
Рассмотрим полупроводниковую структуру МОП-транзистора с каналом типа п (п-МОП-тран-зистора) (рис. 1, а) и принцип работы его как компонента цифровой схемы [5].
Наиболее распространенным материалом, применяемым для изготовления транзисторов, явля-
а)
ТЧ Н +Е
~I I-*
И
З
Г
С
п+ ++ _ п+
'■щг^ оз р
О
П
б)
Я ¿с Н
+Е +Е
_ЗЁп
И
"вх = О
в)
Н
+Е
Л
■ Рис. 1. Полупроводниковая структура МОП-транзистора с каналом типа п: а — полупроводниковая структура; б — схема с МОП-транзистором; в — эквивалентная схема цепи исток-сток при ивх = О
ется 4-валентный кремний. Для улучшения характеристик транзистора п-типа в качестве подложки применяют не чистый кремний, а кремний с небольшой примесью 3-валентного элемента (В, Ga, А1, ...), называемый кремнием р-типа. На рис. 1, а в качестве подложки показан полупроводник П — кремний р-типа. Основными свободными носителями в кремнии р-типа являются дырки р. При этом свободные электроны (вне кристаллической решетки) называют неосновными носителями. На поверхности подложки методом диффузии созданы две области кремния типа п+. Кремний типа п получают добавлением небольшой примеси 5-валентного элемента (Р, Ав, ...). При увеличении концентрации примеси область называют п+. Основными носителями в этой области являются свободные электроны, при этом дырки — неосновные носители. Поверхность подложки с двумя образованными рп-переходами покрыта окислом ЯЮ2 (обозначен буквой О). Сток С и исток И транзистора образуют области п+, соединенные с металлическими выводами. Затвор З выполнен напылением металла и соединен с соответствующим выводом.
Простейшая электронная схема ключа с п-МОП-транзистором в качестве усилительного элемента и нагрузочным элементом Н представлена на рис. 1, б. При ивх > ипор (ипор — порог открывания транзистора), что соответствует слу-
чаю, когда на вход поступает логическая 1, транзистор открыт. Под действием электрического поля между затвором и подложкой (см. рис. 1, а) электроны (неосновные носители) устремляются в подзатворную область, попадают в область электрического поля, создаваемого между стоком и подложкой, и через сток — в цепь нагрузки. При этом в подложке нарушается равновесие между дырками и электронами (дырок больше), открывается рп-переход истока, и дырки попадают во внешнюю цепь. Так протекает ток стока ¿с. При ивх = О транзистор закрыт. Под действием электрического поля между стоком и подложкой рп-переход стока закрыт, в подложке в области стока возникает обедненная зона (ОЗ на рис. 1, а), в которой нет свободных носителей, движение которых может создавать электрический ток. Эквивалентная схема цепи исток-сток при ивх = О показана на рис. 1, в.
Теперь рассмотрим процессы в полупроводниковой структуре и цепи ключа при попадании в транзистор частицы высокой энергии, связанной с воздействием радиации (подробный анализ протекающих в этом случае физических процессов приведен в работах [6-8]). На рис. 1, а показан трек частицы ТЧ в полупроводниковой структуре транзистора. Сначала рассмотрим процессы в структуре, когда транзистор закрыт. В металле и окисле частица не вызывает изменений, так как в металле свободно существуют носители, участвующие в протекании тока, в окисле велика работа выхода электрона из оболочки атома, поэтому заметной ионизации не происходит. Основное ионизирующее воздействие частица вызывает в полупроводнике (в подложке), где работа выхода электрона из атома на несколько порядков ниже, чем в окисле. При этом образуются дополнительные заряды свободных носителей — электронов и дырок. Электроны под действием электрического поля устремляются к стоку, а дырки — к истоку. Таким образом, через закрытый (по входу) транзистор проскакивает импульс тока, площадь которого (заряд) соответствует возникшему в результате ионизации заряду. В цепи закрытого ключа (см. рис. 1, б) напряжение на выходе (напряжение на стоке) равно напряжению питания Е. При проскакивании импульса тока на выходе ключа возникает провал напряжения (ложный сигнал логического нуля). Это является сбоем в работе ключа в составе цифровой схемы.
Если транзистор сигналом на входе был открыт, то заметного влияния на работу ключа частица высокой энергии не оказывает.
Аналогичные процессы происходят и в транзисторах с каналом типа р. Только области р и п в полупроводниковой структуре меняются местами, и изменяется полярность напряжений и направление тока.
Таким образом, анализ на уровне полупроводниковой структуры показывает, что событие, связанное с попаданием частицы высокой энергии в транзистор, приводит к другому событию — сбою на выходе ключа, если транзистор в момент попадания частицы был закрыт. Если транзистор был открыт, то сбоя в работе схемы не возникает.
Анализ процессов, вызванных воздействием радиации, в логических элементах цифровых устройств, выполненных по КМОП-технологии
Рассмотрим влияние физических процессов, описанных выше, на различные логические элементы цифровых устройств.
Инвертор
Теперь рассмотрим влияние частицы высокой энергии на работу КМОП-вентиля (инвертора) при двух возможных состояниях входа. Схема вентиля представлена на рис. 2 [9].
При ивх = 0 (логический 0: х = 0) Т1 открыт, Т2 закрыт; на выходе ивых = Е (логическая 1: у = 1); при ивх = Е (логическая 1: х = 1) Т1 закрыт, Т2 открыт; на выходе ивых = 0 (логический 0: у = 0).
При х = 0 закрыт транзистор Т2. Попадание частицы высокой энергии в Т2 вызовет его открывание. Хотя при этом транзистор Т1 открыт, но при протекании тока он имеет определенное сопротивление. Поэтому проскакивание импульса тока через открытый частицей транзистор Т2 вызовет уменьшение напряжения на выходе, т. е. появится ложный сигнал логического нуля (у = 0). Попадание частицы в Т1 не вызовет ложного сигнала на выходе.
При х = 1 закрыт транзистор Т1. Попадание частицы высокой энергии в Т1 вызовет его открывание. Проскакивание импульса тока через открытый частицей транзистор Т1 и открытый
Т1
Вх.
х
Т2
+Е
Вых.
У
■ Рис. 2. КМОП-вентиль: Т1 — транзистор р-типа; Т2 — транзистор п-типа; у = х
входным напряжением Т2 вызовет увеличение напряжения на выходе, т. е. появится ложный сигнал логической единицы (у = 1). Попадание частицы в Т2 не вызовет ложного сигнала на выходе.
Построим теперь вероятностную схему событий на выходе вентиля. Попадание частицы высокой энергии в транзистор на кристалле СБИС имеет случайный характер. Будем рассматривать вероятности следующих событий:
Рп ч т — вероятность попадания частицы в транзистор;
Рзт — вероятность, что в момент попадания частицы транзистор закрыт;
Рлит — вероятность того, что через транзистор проскочит ложный импульс тока;
Рл.с.в — вероятность возникновения ложного сигнала на выходе вентиля.
В работоспособных цифровых схемах сбои в сравнении с событиями изменения сигнала в ходе основного вычислительного процесса — события редкие. Пусть Тз — время решения задачи. Аппаратура в настоящее время — это сеть синхронных автоматов [9]. Пусть т — длительность такта. Тогда число испытаний элемента (вентиля) на предмет возникновения сбоя из-за частицы высокой энергии Тз/т. Число попаданий N частицы в транзистор за время Тз удовлетворяет неравенству Ыт << Тз/т. Поэтому вероятность события попадания частицы в транзистор Рпчт удовлетворяет закону Пуассона для простейшего потока случайных событий:
1 - Рп
= ехр(-дпчт#),
(1)
где (1 - Рп.чл,(£)) — вероятность того, что за время г не произойдет ни одного попадания частицы; дпчт — средняя частота попаданий частицы в площадку на кристалле, занимаемую одним транзистором.
Открытое либо закрытое состояние транзистора в вентиле цифровой схемы в момент попадания частицы равновероятны, поэтому Рзт = 1/2.
Соответственно, вероятность ложного импульса тока в транзисторе Рл.ит = Рзт х Рпчт.
В схеме вентиля (см. рис. 2) два транзистора — один открыт, другой закрыт. Попадания частицы в первый или второй транзистор — совместные события, поэтому вероятность возникновения ложного сигнала на выходе (0 либо 1) по правилу сложения вероятностей совместных событий
Рл.с.в = (Рз.т х Рп.ч.т) ^ (Рз.т х Рп.ч.т) (Рз.т х Рп.ч.т) =
= 2 х (Рз.т х Рп.ч.т) (Рз.т х Рп.ч.т) •
(2)
Поскольку Рп ч т и Рз т — малые величины, последним членом в выражении можно пренебречь. Это допущение верно и для других случаев возникновения совместных событий, анализируе-
мых ниже. В итоге Р
Р
п
Логический элемент 2И-НЕ
Рассмотрим процессы, возникающие в КМОП логическом элементе 2И-НЕ (рис. 3).
Схема содержит два транзистора (Т1, Т2) с каналом типа р и два транзистора (Т3, Т4) с каналом типа п. Схема имеет два входа, поэтому необходимо рассмотреть ее реакцию на попадание в каждый из четырех транзисторов частицы высокой энергии при четырех состояниях входа: (х1, x2) е {(О, О), (О, 1), (1, О), (1, 1)}. Цель анализа: определить вероятность ^.и-в. появления ложного импульса на выходе логического элемента. В общем случае все состояния входа элемента равновероятны, поэтому
РГ
тт
= 1
7 4 | рг.и.в (0,0) + Рл.и.в (0,1) + + РГ.и.в (1, 0) + РГ.И.В (1,1))■ (3)
При (x1, x2) = (О, О) транзисторы Т1 и Т2 открыты, Т3 и Т4 закрыты, у — 1, ивых = E. Действие частицы на логический элемент может проявиться только через кратковременное открывание закрытого транзистора. Из рис. 3 видно, что для протекания ложного импульса тока необходимо одновременное попадание частиц в два транзистора Т3 и Т4, что маловероятно, поэтому Pэ (О, О) = О.
л.и.в^ ' '
При (х^ x2) = (О, 1) транзистор Т1 открыт, Т4 закрыт, Т3 открыт, Т2 закрыт, у — 1, ивых = E. Рассмотрим случаи попадания частицы в закрытые транзисторы. При попадании частицы в Т4 в цепи Т1-Т3-Т4 возникнет импульс тока, и на выходе возникнет ложный сигнал у — О. Вероятность этого события совпадает с вероятностью попадания частицы в транзистор: Pл с = Pп ч т. При попадании частицы в транзистор Т2 ничего не произойдет, так как параллельно ему включен открытый по входу транзистор Т1, а протеканию тока препятствует закрытый Т4. Таким образом: Pэ (О, 1) = P .
л.и.в^' *-) п.ч.т
Т1
I
+Е
Т2
Т3
Т4
■ Рис. 3. КМОП логический элемент 2И-НЕ: У — Х1
При (x1, x2) — (1, О) картина аналогична случаю (xl, X2) — (О, 1), поэтому PЛ.И.B(1, О) — Pп.ч.т.
При (x1, x2) — (1, 1) транзисторы Т1 и Т2 закрыты, а Т3 и Т4 открыты, у — О, ивых — О. При попадании частицы в любой из закрытых транзисторов Т1 или Т2 возникнет импульс тока, а на выходе — ложный сигнал у — 1. Вероятность возникновения этого события PЛ-И-B(1, 1) — 2Pп-ч-т.
В итоге для логического элемента 2И-НЕ, используя (3), получим
рг — 1а | р
Л.И.в /^рл.и.в
+РГ Т1 Л.И.В
Г (0, 0) + Рлг.и.в (0,1) + (1, 0) + Рлг.и.в (1,1)) —
— V0 + Рп.ч.т + Рп.ч.т + 2рп.ч.т ) — РП.Ч.Т ■ (4)
Логический элемент 2ИЛИ-НЕ
Рассмотрим процессы, возникающие в КМОП логическом элементе 2ИЛИ-НЕ (рис. 4).
Схема содержит два транзистора (Т1, Т2) с каналом типар и два транзистора (Т3, Т4) с каналом типа п и имеет два входа. С точки зрения структуры элемент 2ИЛИ-НЕ эквивалентен элементу 2И-НЕ, поэтому вероятность появления ложного импульса на выходе логического элемента 2ИЛИ-НЕ также определяется формулой (3).
При (x1, x2) — (О, О) транзисторы Т1, Т2 открыты, Т3, Т4 закрыты, у — 1. Попадание частицы в Т3 или Т4 вызовет ложный сигнал у — О с вероятностью PЛ.и.в(0, О) — 2Pп.ч.т.
При (x1, x2) — (О, 1) транзисторы Т1, Т4 открыты, Т3, Т2 закрыты, у — О. Попадание частицы в Т4 не окажет влияния на работу элемента, так как открыт Т3. Попадание в Т2 вызовет появление ложного сигнала у — 1, вероятность которого Pэ (О, 1) — P .
л.и.в^' *-> п.ч.т
Аналогично в состоянии (x1, x2) — (1, О) получим Pэ (1, О) — P .
л.и.в^' ' п.ч.т
+Е
■ Рис. 4. КМОП логический элемент 2ИЛИ-НЕ:
У — +
x
х
У
X
2
У
X
2
При (х1, х2) = (1, 1) закрыты Т1 и Т2, открыты а) Я ТТ Q
Т3 и Т4, у = 0. Для появления ложного импульса — Б
у = 1 необходимо одновременное открывание Т1 С Q
и Т2, что маловероятно, поэтому Рл.и.в (1, 1) = 0.
В итоге получим Р ив = Рп ч т, причем появление ложного сигнала у = 0 и у = 1 равновероятно.
Анализ процессов,
вызванных воздействием радиации,
в триггерах конечных автоматов с памятью
Подавляющее большинство цифровых устройств, выполняющих алгоритмическое преобразование информации (в отличие от функционального преобразования, выполняемого комбинационными схемами), строятся как синхронные автоматы с памятью [9, 10]. При этом для синхронизации используется внешний по отношению к устройству генератор тактовых импульсов. Период следования тактовых импульсов выбирается таким, чтобы за время такта успели затухнуть переходные процессы, связанные с распространением сигналов по сети элементов. В целях исключения влияния переходных процессов на работу устройства, для реализации памяти, фиксирующей внутреннее состояние автомата, используются триггеры, синхронизируемые фронтом (или спадом) тактового импульса. Поэтому рассмотрим воздействие радиации на процессы в триггере, синхронизируемом перепадом уровня синхроимпульса.
Для проведения анализа выберем один из наиболее распространенных типов триггера — триггер типа Б, синхронизируемый спадом синхроимпульса С [9].
Условное обозначение триггера ТТ в функциональных схемах цифровых устройств показано на рис. 5, а [10]. Для связи с внешним окружением в триггере используются сигналы, относящиеся к трем непересекающимся группам, т. е. не используемым одновременно для функционального преобразования [9]: сигнал начальной установки Я; сигнал синхронизации С и информационные сигналы — входной Б и выходные Q, Q .
Функциональная схема триггера на логических элементах (рис. 5, б) содержит восемь логических элементов И-НЕ и два инвертора. Номера элементов I используются для идентификации выходных переменных у. Элементы 3, 4 и 7, 8 образуют две бистабильные ячейки. Поэтому триггер как автомат с памятью имеет четыре внутренних состояния, характеризуемых значениями переменных у3 и у7 на выходах бистабильных ячеек: (у3, у7) е {(0, 0),(0, 1),(1, 0),(1, 1)}. Комбинационная схема на элементах 9, 1, 2 управляет переключениями первой бистабильной ячейки, а на элементах 10, 5, 6 — переключениями второй биста-бильной ячейки. Работу триггера характеризу-
б) Б
С
Я
в)
узУ 7 00
БС
10
С 01
БС
■ Рис. 5. Триггер типа Б, синхронизируемый спадом тактового импульса: а — условное обозначение; б — схема на логических элементах; в — граф переходов, характеризующий работу схемы
ет граф переходов (рис. 5, в). Из схемы и графа видно, что за такт (период тактовых импульсов С) в работе триггера можно выделить две фазы, разделяемые значением тактового сигнала С. В 1-й фазе (при С = 1), в соответствии со значением информационного сигнала Б, происходит установка 1-й бистабильной ячейки в 0 или 1. При этом воздействие на вторую бистабильную ячейку заблокировано схемой из элементов 10,
5, 6, т. е. в этой фазе вторая бистабильная ячейка (элементы 7, 8) находится в режиме хранения информации. Во время 2-й фазы (С = 0) первая бистабильная ячейка (элементы 3, 4) находится в режиме хранения информации, при этом изменения сигнала Б не влияют на ее состояние. Через элементы 5, 6 состояние из первой биста-бильной ячейки передается во вторую и на внешний выход Q триггера. Таким образом, изменение состояния внешнего выхода триггера происходит при переключении С: 1 ^ 0. При начальной установке сигналом Я = 0 асинхронно, независимо от значений сигналов Б и С, обе бистабильные ячейки устанавливаются в состояние 0: у3 = 0, у7 = 0.
Теперь рассмотрим влияние на работу триггера попадания частицы высокой энергии в транзистор во всех режимах работы триггера.
С
Анализ поведения триггера в режиме начальной установки
Учитывая асинхронный характер воздействия сигнала Я — О непосредственно на обе бистабиль-ные ячейки, можно заключить, что кратковременное открывание любого транзистора в комбинационных схемах (элементы 9, 1, 2 и 10, 5, 6) либо в самих бистабильных ячейках (элементы 3, 4 и 7, 8) не может изменить результат начальной установки. Изменение состояния возможно, если ложное открывание транзистора произойдет в момент фронта сигнала Я: О ^ 1. Но этот случай можно отнести к рабочему режиму при Я — 1.
Анализ поведения триггера в рабочем режиме: Я — 1, фаза 1: С — 1
При этих условиях У10 — С — 0, У5 — У6 — 1, би-стабильная ячейка (7, 8) находится в режиме хранения информации; бистабильная ячейка (3, 4) находится в режиме записи под воздействием сигналов у1, у2. При Б — 1 (у1, у2) — (О, 1) и, соответственно, (У3, У4) — (1, О). При Б — О (ур У2) — (1, О) и, соответственно, (у3, у4) — (О, 1). Все приведенные сигналы определяются внешним воздействием на триггер и присутствуют во время всей фазы (С — 1). Кратковременное открывание одного из закрытых транзисторов в элементах 1-4 под воздействием частицы высокой энергии может исказить один из сигналов, но после исчезновения ложного импульса состояние ячейки восстановится, так как оно определяется внешним воздействием (сигналами Б и С). Поэтому в этой фазе события, связанные с кратковременным открыванием закрытого транзистора под действием частицы в элементах 1-4, 9, можно не рассматривать. События в элементах 5-8, 10 могут исказить информацию в триггере. Рассмотрим их подробнее.
Рассмотрим ЛЭ5 (см. рис. 5, б), схема которого на уровне транзисторов приведена на рис. 3: х2 — у1О — О ^ транзистор Т2 открыт, Т3 закрыт. Состояние других транзисторов элемента зависит от внешнего сигнала Б, поэтому рассмотрим два случая. Пусть Б — О. Тогда у3 — х1 — О ^ транзистор Т1 открыт, Т4 закрыт. Как видно из рис. 3, одновременно закрыты два транзистора — Т3 и Т4. Для протекания тока через элемент и возникновения ложного импульса на выходе у частица должна одновременно попасть и в Т3, и в Т4, что маловероятно. Таким образом, попадание частицы в один из транзисторов ЛЭ5 не вызовет изменений в состоянии триггера. Рассмотрим случай Б — 1. При этом у3 — 1 (см. рис. 5, б), х1 — 1 (см. рис. 3) ^ транзистор Т1 закрыт, Т4 открыт. Транзисторы Т1 и Т3 закрыты. Открывание транзистора Т1 под воздействием частицы не может вызвать изменение сигнала у на выходе элемента, потому что параллельно Т1 включен открытый
в этом случае транзистор Т2. Открывание под воздействием частицы Т3 вызовет проскакивание ложного импульса тока и появление на выходе элемента ЛЭ5 ложного импульса логического О. Если при этом бистабильная ячейка (7, 8) хранит О (на графе рис. 5, в это соответствует состоянию (1, О)), то ложный импульс с выхода ЛЭ5 переключит ячейку в состояние 1, вызвав тем самым мягкий отказ. Рассмотрим оценки вероятности возникновения такого события. Пусть:
РМ.о — вероятность мягкого отказа в триггере из-за воздействия частицы на элемент ЛЭ5 в первой фазе работы (С — 1);
Pсит 1 — вероятность существования ситуации 1 в триггере, когда может происходить рассматриваемое событие.
Рассматриваемая ситуация 1 заключается в том, что триггер как автомат находится в одном из четырех состояний — (1, О): в ячейке (7, 8) хранится О; событие происходит в 1-й фазе. Поэтому можно принять Pсит 1 — 0,25. Как мы выяснили выше, в этой ситуации ложный импульс на выходе ЛЭ5 может возникнуть только при попадании частицы в один транзистор Т3, следовательно:
рм.э — Рп.ч.т х рсит.1 — 0,25рП.ч.т■ (5)
Рассмотрим ЛЭ6 (см. рис. 5, б), схема которого на уровне транзисторов приведена на рис. 3: х2 — у1О — О ^ Т3 закрыт, Т2 открыт. При Б — О у4 — х1 — 1 ^ Т4 открыт, Т1 закрыт, у6 — 1. Попадание частицы в Т1 не приведет к изменению состояния схемы, так как параллельно включен открытый Т2. Попадание частицы в Т3 и его открывание вызовет появление на выходе у6 ложного импульса логического О. Это может переключить бистабильную ячейку (7, 8) в О, если она находилась в состоянии 1 (состояние (О, 1) на рис. 4, в). При Б — 1 (состояние (1, О) на рис. 5, в) у4 — х1 — О ^ Т4 закрыт, Т1 открыт. Одновременное попадание частиц в два закрытых транзистора Т3 и Т4 маловероятно, поэтому в этой ситуации опасных событий в ЛЭ6 не произойдет.
пЛЭ6,2
Пусть Рм.о — вероятность мягкого отказа в триггере из-за воздействия частицы на элемент ЛЭ6 в ситуации 2: состояние (О, 1) при С — 1; в бистабильной ячейке (7, 8) хранится 1, следовательно:
рМ.э ' — Рп.ч.т х Рсит.2 — 0,25рП.ч.т ■ (6)
Рассмотрим ЛЭ10, схема которого на уровне транзисторов приведена на рис. 2. Входной сигнал х — С — 1, транзистор Т2 открыт, а Т1 закрыт. Попадание частицы в транзистор Т1 вызовет появление ложного сигнала у1О: О ^ 1 ^ О. В момент, когда у1О — 1, информация из биста-бильной ячейки (3, 4) передается в бистабильную ячейку (7, 8). Если их состояния не совпадают,
то ячейка (7, 8) изменит свое состояние. Это произойдет в фазе 1, а не в фазе 2 и является мягким отказом. Это может произойти, когда триггер находится в состоянии (у3, у7) = (1, 0) или (0, 1) (см. рис. 4, в). Поэтому вероятность мягкого отказа триггера из-за попадания частицы в ЛЭ10 в фазе 1
(7)
РЛЭ10,1 = 0 5Р гм.о и'"гп.ч.т'
Следует отметить, что для системного окружения триггера, принимающего выходной сигнал Q, изменение этого сигнала раньше времени (в фазе 1, а не 2) соответствует искажению восприятия состояния триггера в текущем такте, т. е. является мягким отказом.
Анализ воздействия частиц высокой энергии в 1-й фазе рабочего режима на транзисторы бистабильных ячеек
В фазе 1 (С = 1) бистабильная ячейка (3, 4) находится в режиме записи под воздействием сигналов у1, у2. Поэтому попадание частицы в любой закрытый транзистор ячейки может только кратковременно изменить ее состояние, после чего состояние под воздействием сигналов у1, у2 будет восстановлено.
Бистабильная ячейка (7, 8) находится в режиме хранения информации при у5 = у6 = 1. Поэтому воздействие частиц на транзисторы ячейки может изменить ее состояние. На рис. 6 приведена схема ячейки на уровне транзисторов.
Под действием входных сигналов Я = у6 = у5 = 1 транзисторы Т1 и Т2 в логическом элементе ЛЭ8 и транзистор Т1 в ЛЭ7 закрыты; транзисторы Т6 и Т5 в ЛЭ8 и Т4 в ЛЭ7 открыты. Состояние остальных транзисторов зависит от хранимой в ячейке информации. Пусть хранится 0 (у7 = 0), тогда в ЛЭ8 Т3 открыт, Т4 закрыт ^ у8 = 1 ^ в ЛЭ7: Т2 закрыт, Т3 открыт ^ у7 = 0, состояние устойчиво. Попадание частицы в один из закрытых транзисторов ЛЭ8 Т1 или Т2 не вызовет изменений в схеме, так как они включены параллельно открытому транзистору Т3. Попадание частицы в закрытый транзистор Т4 ЛЭ8 приведет к протеканию тока по цепи Т3, Т4, Т5, Т6 ^ возникнет ложный импульс у8 = 0 ^ изменится состояние ячейки у7 = 0 ^ 1. Это мягкий отказ триггера. Ситуация характеризуется двумя состояниями схемы: С = 1 (1-я фаза работы); хранится 0 (у7 = 0) (состояние (1, 0) на рис. 5, в). Вероятность этой ситуации Рсит(1,0) = 0,25
Попадание частицы в закрытый транзистор Т1 или Т2 ЛЭ7 приведет к протеканию тока по цепи Т1 (Т2), Т3, Т4 и вызовет появление ложного сигнала у7 = 1. Это приведет к переходу ячейки (7, 8) в состояние 1 (на рис. 4, в (1, 0) ^ (1, 1) при С = 1), т. е. произойдет мягкий отказ. Итак, в ситуации
с вероятностью ее существования Р
сит(1,0)
= 0,25
мягкий отказ может возникнуть при попадании
+Е
у 5
Т1
I
Т2
у
Т3
Т4
ЛЭ7
а
у7
+Е
у 6
Я#
Т1
Т2
Т3
у
Т4
Т5
Т6
ЛЭ8
а
■ Рис. 6. Схема бистабильной ячейки триггера
частицы в транзистор Т1, Т2 ЛЭ7 либо Т4 ЛЭ8. Вероятность мягкого отказа в этом случае
Рм.7о8(1'0) = 0,75Рп.ч.т • (8)
Пусть в ячейке (7, 8) хранится 1 (у7 = 1) (состояние (0, 1) на рис. 5, в). Тогда в ЛЭ8 закрыты Т3, Т2, Т1, открыты Т6, Т5, Т4 ^ у8 = 0 ^ в ЛЭ7: Т2 и Т4 открыты, Т1 и Т3 закрыты ^ у7 = 1. Состояние устойчиво. При попадании частицы в один из закрытых Т3, Т2, Т1 ЛЭ8 по цепи Т3 (Т2, Т1), Т4, Т5, Т6 пройдет импульс тока, и на выходе ЛЭ8 возникнет ложный импульс у8 = 1, который изменит состояние ячейки: у7 ^ 0 (переход (0, 1) ^ (0, 0) при С = 1). Это мягкий отказ. При попадании частицы в закрытый транзистор Т3 ЛЭ7 по цепи Т2, Т3, Т4 пройдет импульс тока, и на выходе ЛЭ7 возникнет ложный импульс у7 ^ 0, что приведет к переходу ячейки в состояние 0. При попадании частицы в закрытый транзистор Т1 (ЛЭ7) ничего не произойдет, так как параллельно ему включен открытый в это время Т2. Таким образом, в этой ситуации (состояние (0, 1) при С = 1) мягкий отказ может вызвать попадание частицы в один из четырех транзисторов. Поэтому
эя78(0,1) =
= Рп
(9)
х
х
2
х
х
2
х
3
Следует отметить, что в соответствии с передаточной характеристикой КМОП-элементов и пороговой чувствительностью к входным сигналам протекание сквозного ложного импульса тока через цепочку нагрузочного р-МОП-транзистора и усилительных п-МОП-транзисторов вызывает разный эффект на уровне логических сигналов в зависимости от исходного состояния. В состоянии выхода у — О (выходное напряжение равно О) импульс тока вызывает положительный импульс напряжения на выходе, превышающий порог (логическая 1), а в состоянии у — 1 (выходное напряжение равно напряжению питания Е) — провал уровня напряжения, воспринимаемый как логический О.
С учетом (7) и (8) для первой фазы работы для обоих возможных состояний бистабильной ячейки (7, 8) получим вероятность мягкого отказа при попадании частицы в один из ее транзисторов:
я78,1 _ ря78(1,0) + ря78(0,1) _
+ P
1 Х TV/T
_ 1,75Pn.4.T. (10)
Анализ поведения триггера в рабочем режиме: R _ 1, фаза 2: C _ 0
В фазе 2 (см. рис. 5, а) y1 _ y2 _ 1, бистабильная ячейка (3, 4) находится в режиме хранения информации, записанной в 1-й фазе (при C _ 1); y10 _ 1, информация из ячейки (3, 4) через элементы ЛЭ5 и ЛЭ6 передается в ячейку (7, 8). Поскольку в этой фазе ячейка (7, 8) находится под внешним управлением, то кратковременное открывание под действием частицы высокой энергии одного из закрытых транзисторов не повлияет на ее состояние. Под действием частиц измениться может только состояние ячейки (3, 4), находящейся в режиме хранения информации. Изменение состояния этой ячейки через ЛЭ5 и ЛЭ6 передается в ячейку (7, 8) и на выход триггера. Таким образом, случайное изменение состояния ячейки (3, 4), находящейся в режиме хранения информации, — это мягкий отказ триггера, характеризуемый переходами в фазе 2 (см. рис. 4, в): (0, 0) ^ (1, 0) ^ (1, 1) либо (1, 1) ^ (0, 1) ^ (0, 0).
Вследствие одинаковости схем бистабильных ячеек (3, 4) и (7, 8) получим
ря34,2 _ ря78,1 _ 1 75р (11)
рм.о рм.о -1<орп.ч.т,
я34,2
где Рм о — вероятность мягкого отказа в ячейке (3, 4) во 2-й фазе работы триггера.
На состояние ячейки (3, 4) могут также повлиять ложные импульсы от элементов ЛЭ1 и ЛЭ2. Их схемы и влияние на бистабильную ячейку аналогичны рассмотренным выше элементам ЛЭ5 и ЛЭ6, поэтому по аналогии с выражениями (5) и (6) получим
Рм.о , _ рп.ч.т х рсит.1 _ 0'25рп.ч.т, (12)
где рм^1'1 — вероятность мягкого отказа триггера из-за попадания частицы в закрытый транзистор ЛЭ1 в ситуации 1: фаза 2 (С — О) и в ячейке (3, 4) хранится О (состояние (О, О) на рис. 5, в);
рЛ02,2_ р
Рм.о _ рп.ч.т
сит.2
_ 0,25Рп
(13)
лЛЭ2'2
где РМ.о — вероятность мягкого отказа триггера из-за попадания частицы в закрытый транзистор ЛЭ2 в ситуации 2: фаза 2 (С — О) и в ячейке (3, 4) хранится 1 (состояние (1, 1) на рис. 4, в).
Попадание частицы в ЛЭ9 в фазе 2 не приведет к изменению состояния ЛЭ2, так как действие сигнала у9 заблокировано сигналом С — О.
Используя полученные оценки вероятностей (5)-(7), (1О)-(13), вычислим вероятность мягкого отказа триггера Pтр при попадании частицы высокой энергии в один из закрытых транзисторов его схемы:
р — рЛЭ5,1 + рЛЭ6,2 + рЛЭ10'1 + ря78,1 + ртр— рм.о + рМ.о + рМ.о + рМ.о +
+ ря34,2 + рЛ01,1 + рЛ02,2 _ кр
+ рм.О + рм.О + рм.О 5рп.Ч.т.
(14)
Анализ возможных исходов в бистабильной ячейке от действия ложного импульса, вызванного попаданием частицы высокой энергии в транзистор
С учетом порогового характера элементов би-стабильной ячейки рассмотрим возможные исходы воздействия ложных импульсов, вызванных попаданием частицы в транзистор, на примере ячейки (7, 8) рис. 5, б, транзисторная схема которой приведена на рис. 6. Рассмотрим передаточные характеристики элементов ЛЭ7 и ЛЭ8, когда ячейка находится в режиме хранения информации (у5 — у6 — Я — 1) (рис. 7).
Ось ординат соответствует напряжению и7 (выходному сигналу у7), ось абсцисс — напря-
E
ин E u8
■ Рис. 7. Передаточная характеристика элементов ЛЭ7 и ЛЭ8 бистабильной ячейки (7, 8)
u
7
8
u
н
жению и8 (сигналу у8). Напряжение и7 является выходным для ЛЭ7 и входным для ЛЭ8, и8 является выходным для ЛЭ8 и входным для ЛЭ7. У передаточных характеристик есть три точки пересечения. Точки «1» и «0» являются точками устойчивого равновесия и соответствуют состояниям логической 1 и 0. Точка «Н» — точка неустойчивого равновесия. Как показано на рисунке, небольшое отклонение от нее вследствие положительной обратной связи приводит к лавинообразному переключению в устойчивое равновесие. Этому соответствуют трассы: «Н» ^ 1 ^ 2 ^ 3 ^ «1»; «Н» ^ 4 ^ 5 ^ 6 ^ «0». Таким образом, при воздействии частицы на один из закрытых транзисторов ячейки либо на транзисторы связанных с ее входами комбинационных схем, вызывающих провалы в уровнях входных напряжений и5 = и6 = Е, возможны следующие исходы:
— изменение входного напряжения превышает порог неустойчивого равновесия ин, что приведет к переключению ячейки в противоположное состояние;
— изменение входного напряжения достигает точно порога ин, это приводит к состоянию мета-стабильности [10];
— изменение входного напряжения меньше порога ин, после исчезновения возмущения схема приходит в исходное состояние.
Два первых случая соответствуют мягкому отказу, так как изменяют состояние триггера. В последнем случае отказа не происходит. Поэтому в вероятностных оценках рассмотренных событий под Рпчт будем понимать вероятность такого события, когда попавшая в транзистор частица
Литература
1. Егоров И. В., Мелехин В. Ф. Анализ проблемы повышения радиационной стойкости информационно-управляющих систем на этапе функционально-логического проектирования // Информационно-управляющие системы. 2016. № 1. С. 26-31. doi:10.15217/issn1684-8853.2016.1.26
2. Егоров И. В., Мелехин В. Ф. Методы и средства анализа надежности структурных блоков с резервированием и периодическим восстановлением информации на различных этапах проектирования вычислительных систем // Информационно-управляющие системы. 2016. № 2. С. 26-34. doi:10.15217/ issn1684-8853.2016.2.26
3. Jacob A. Abraham, Daniel P. Siewiorek. An Algorithm for the Accurate Reliability Evaluation of Triple Modular Redundancy Networks // IEEE Transactions on Computers. 1974. Vol. C-23. N 7. Р. 682-692.
высокой энергии вызывает появление ложного сигнала, достигающего либо превышающего порог ин.
Заключение
В результате проведенного анализа установлена связь эффектов, порожденных ионизацией подложки транзисторной структуры под действием частиц высокой энергии при радиационном облучении, с возникновением ложных импульсов на выходе вентиля, с искажением выходных сигналов логических элементов и с возникновением мягких отказов в синхронном триггере. Получены оценки вероятностей возникновения мягких отказов в триггере и возникновения ложных сигналов на выходах логических элементов.
Следует отметить, что при некоторой радиационной обстановке, характеризуемой средней частотой #пчл, попадания частиц высокой энергии в транзисторы, вероятности рассматриваемых событий, приводящих к мягким отказам, пропорциональны Рп ч т и зависят от времени г (1). Время г соответствует времени хранения информации в запоминающем элементе. В системах с периодическим самовосстановлением величина г равна периоду восстановления информации. Чем чаще производится восстановление, тем меньше вероятность возникновения мягких отказов.
Полученные результаты позволят проводить анализ влияния радиации на информационные процессы в цифровых устройствах и обосновать наиболее эффективные способы введения структурной избыточности для повышения надежности устройств в условиях воздействия радиации.
4. Максименко С. Л., Мелехин В. Ф. Анализ надежности функциональных узлов цифровых СБИС со структурным резервированием и периодическим восстановлением работоспособного состояния // Информационно-управляющие системы. 2013. № 2(63). С. 18-23.
5. Мурога С. Системное проектирование сверхбольших интегральных схем. Кн. 1. — М.: Мир, 1985. — 288 с.
6. Edmonds L. D., Barnes C. E., Scheick L. Z. An Introduction to Space Radiation Effects on Microelectronics// JPL Publication. 2000. N 00-06. http://snebu-los.mit.edu/projects/reference/NASA-Generic/JPL-00-06.pdf (дата обращения: 05.12.2015).
7. Gaillard R. Single Event Effects Mechanisms and Classification// Frontiers in Electronic Testing. 2011. Vol. 41. P. 27-54.
8. Amusan O. A., et al. Single Event Upsets in Deep-Submicrometer Technologies due to Charge Sharing / O. A. Amusan, L. W. Massengill, M. P. Baze,
A. L. Sternberg, A. F. Witulski, B. L. Bhuva, J. D. Black // IEEE Transactions on Device and Materials Reliability. 2008. Vol. 8. N 3. P. 582589.
9. Kaeslin H. Digital Integrated Circuit Design. From VLSI Architectures to CMOS Fabrication. — Cam-
bridge University Press, 2008. http://www.roletech. net/books/DigitalIntegratedCircuit.pdf (дата обращения: 10.04.2016).
10. Бабич Н. П., Жуков И. А. Компьютерная схемотехника. — Киев: МК-пресс, 2004. — 670 с.
UDC 681.3
doi:10.15217/issn1684-8853.2016.3.24
Analysis of Processes in a Finite State Machine under Radiation. Probabilistic Assessment of Information Distortion
Egorov I. V.a, Post-Graduate Student, [email protected]
Melekhin V. F.a, Dr. Sc., Tech., Professor, [email protected]
aPeter the Great St. Petersburg Polytechnic University, 29, Politekhnicheskaia St., 195251,
Saint-Petersburg, Russian Federation
Introduction: The functional organization of digital devices with structural redundancy is difficult when radiation causes a flow of failures. To solve this problem, we need to analyze what happens when radioactive particles of high energy hit integrated circuits. Purpose: Our goal is to determine the functional connection between the characteristics of a random flow of events when high-energy particles hit IC elements, and the characteristics of a random flow of failures when the information stored in the finite state machine memory is distorted. Results: Descriptions were obtained for the processes which flow when radiation impacts integrated circuits. These descriptions have three levels of representation: physical effects in semiconductor structures of the transistors; electric processes in transistor circuits, propagation of signals in electronic circuits; distortion of signals and information at the level of logical elements. Probabilistic assessments of information distortion were obtained. The proposed approach to the analysis of processes can also be applied to other elements and devices. Practical relevance: The obtained results allow you to analyze the impact of radiation on information processes in digital devices, finding the ways to use structural redundancy in order to increase the system reliability.
Keywords — Semiconductor Structure, Transistor, Gate, Logical Element, Synchronous Flip-Flop, CMOS technology, Radiation Effects, Soft Failures, Flow of High-Energy Particles, Flow of Information Failures, Physical Processes, Electrical Processes, Information Processes.
References
1. Egorov I. V., Melekhin V. F. Analysis of Radiation Resistance Improvement Issue for Information and Control Systems at the Stage of Functional and Logical Design. Informatsionno-upravliaiushchie sistemy [Information and Control Systems], 2016, no. 1, pp. 26-31 (In Russian). doi:10.15217/issn1684-8853.2016.1.26
2. Egorov I. V., Melekhin V. F. Methods and Tools for Structural Block Reliability Analysis with Reservation and Periodic Information Recovery at Various Stages of Computing System Design. Informatsionno-upravliaiushchie sistemy [Information and Control Systems], 2016, no. 2, pp. 26-34 (In Russian). doi:10.15217/issn1684-8853.2016.2.26
3. Jacob A. Abraham, Daniel P. Siewiorek. An Algorithm for the Accurate Reliability Evaluation of Triple Modular Redundancy Networks. IEEE Transactions on Computers, 1974, vol. C-23, no. 7, pp. 682-692.
4. Maximenko S. L., Melekhin V. F. Analysis of Reliability of Functional Nodes of Digital VLSI Circuits with Structural Redundancy and Periodic Operational State Recovery. Informatsionno-upravliaiushchie sistemy [Information and Control Systems], 2013, no. 2(63), pp. 18-23 (In Russian).
5. Muroga S. Sistemnoe proektirovanie sverkhbol'shikh integral'nykh skhem [System Design of Very-Large-Scale
Integrated Circuits]. Vol. 1. Moscow, Mir Publ., 1985. 288 p. (In Russian).
6. Edmonds L. D., Barnes C. E., Scheick L. Z. An Introduction to Space Radiation Effects on Microelectronics. JPL Publication, 2000, no. 00-06. Available at: http://snebulos.mit. edu/projects/reference/NASA-Generic/JPL-00-06.pdf (accessed 05 December 2015).
7. Gaillard R. Single Event Effects Mechanisms and Classification. Frontiers in Electronic Testing, 2011, vol. 41, pp. 27-54.
8. Amusan O. A., Massengill L. W., Baze M. P., Sternberg A. L., Witulski A. F., Bhuva B. L., Black J. D. Single Event Upsets in Deep-Submicrometer Technologies due to Charge Sharing. IEEE Transactions on Device and Materials Reliability, 2008, vol. 8, no. 3, pp. 582-589.
9. Kaeslin H. Digital Integrated Circuit Design. From VLSI Architectures to CMOS Fabrication. Cambridge University Press, 2008. Available at: http://www.roletech.net/ books/DigitalIntegratedCircuit.pdf (accessed 10 April 2016).
10. Babich N. P., Zhukov I. A. Komp'juternaja shemotehnika [Computer Circuitry]. Kiev, MK-press Publ., 2004. 670 p. (In Russian).