СТАТИЧЕСКАЯ ОПЕРАТИВНАЯ ПАМЯТЬ НА ОСНОВЕ ОТКАЗОУСТОЙЧИВОЙ ЯЧЕЙКИ БАЗОВОГО МАТРИЧНОГО КРИСТАЛЛА

Аннотация


Большое значение для решения проблемы создания отечественной электронной компонентной базы имеет создание так называемых полузаказных цифровых интегральных микросхем на основе базовых матричных кристаллов - БМК. Известны БМК серий 5503, 5507, 5521,5528, 5529, причем их основой являются так называемые ячейки. Для радиационно-стойкой, надежной, отказоустойчивой электронной компонентной базы необходима избыточность - резервированные структуры. Применяют так называемое троирование - три канала цифрового автомата, битовые выходы которых поступают на три входа мажоритарного элемента, реализующего мажоритарную функцию или функцию голосования по большинству голосов (выбор «два из трех» ≥2). Такой мажоритарный элемент широко применяется для обеспечения пассивной отказоустойчивости цифровых устройств и систем. Известно, что резервирование с целью обеспечения пассивной отказоустойчивости обеспечивает выигрыш не на всем временном интервале для некоторого интервала вероятностей. В качестве альтернативы ранее предложены транзисторные структуры, парирующие отказы (сбои) части транзисторов, возникающие в результате воздействия радиации и других негативных факторов. Сначала они рассматривались в качестве так называемых функционально-полных толерантных (ФПТ) элементов (ФПТЭ), сохраняющих при отказах либо функциональную полноту (ФПТ в слабом смысле), либо реализуемую логическую функцию (ФПТ в сильном смысле). В дальнейшем подобное резервирование транзисторных структур (ТС) - ФПТТС в сильном смысле и ФПТТС авторы предложили использовать не только в КМОП (КМДП) элементах, но и в виде передающих транзисторов. В отличие от канального резервирования цифровой аппаратуры такое резервирование названо потранзисторным, что обеспечивает по сравнению с троированием значительный выигрыш в вероятности безотказной работы пассивно отказоустойчивой схемы практически для всего временного диапазона. Однако детальное исследование по созданию избыточных ячеек БМК в достаточной мере не проводилось. Рассмотрено создание такой резервированной ячейки в различных вариантах, в том числе с резервированием связей. На основе разработанной отказоустойчивой ячейки строятся логические элементы и оцениваются по вероятности безотказной работы с троированием таких элементов. На этой основе предлагается отказоустойчивая ячейка памяти SRAM с учетверением транзисторов - QSRAM. Показывается предпочтительность такого технического решения по ряду показателей в сравнении с троированием - известным вариантом TMR (Triple Modular Redundancy).

Полный текст

Введение. Проблема создания отечественной элементной базы в последние годы еще более обострилась [1]. Важное значение для решения этой проблемы имеет инновационный комплекс Московского института электронной техники (МИЭТ) [2], в котором значительное внимание уделяется созданию так называемых полузаказных цифровых интегральных микросхем на основе базовых матричных кристаллов - БМК [3-6]. Используемая в БМК КМОП схемотехника имеет относительно невысокое быстродействие, задержки КМОП вентилей на порядок больше, чем для ЭСЛ. Вместе с тем достоинствами КМОП схемотехники являются малая потребляемая мощность и высокая помехоустойчивость [4]. Несмотря на значительное отставание в технологических нормах по сравнению с передовыми западными фирмами, наша электронная промышленность в целом пока позволяет создавать цифровую аппаратуру для специальных приложений, в том числе и такие процессоры, как «Эльбрус», «Комдив» и др. [7-9]. В настоящее время открытые источники сообщают о БМК серий 5503, 5507,5521,5528,5529 [3]. Ячейка поля БМК представляет собой 4-транзисторную ячейку комплиментарных транзисторов [3] (рис. 1). а б Рис. 1. Ячейка поля базового матричного кристалла - БМК: а - содержимое 4-транзисторной ячейки комплиментарных транзисторов; б - условное графическое обозначение ячейки Шины питания и «Ноль вольт» подключены к подложкам транзисторов и не указаны на рис. 1, VT1, VT2 - типа р, VT3, VT4 - типа n. Из таких ячеек строятся логические элементы, например [7]. Более подробно архитектура ячейки поля БМК [3] изображена на рис. 2. Рис. 2. Архитектура ячейки поля базового матричного кристалла БМК Для создания радиационно-стойкой аппаратуры [10-11] ранее предложено расчетверение отдельных транзисторов логических элементов, что обеспечивает по сравнению с резервированием каналов цифровой аппаратуры значительный выигрыш в вероятности безотказной работы пассивно отказоустойчивой схемы практически для всего временного диапазона [12-15]. Однако детального исследования возможности создания таких избыточных ячеек в достаточной мере не проводилось. Рассмотрим создание такой резервированной ячейки на основе ячейки, изображенной на рис. 1, 2. 1. Отказоустойчивая ячейка поля БМК. Для этого пару ячеек (см. рис. 1) конфигурируем для реализации одного резервированного транзистора р-типа и одного резервированного транзистора n-типа. Получим ячейку (рис. 3). p-структура n-структура Рис. 3. Отказоустойчивая ячейка поля базового матричного кристалла БМК для реализации одного транзистора р-типа и одного транзистора n-типа Такая ячейка сохраняет работоспособность при отказе одного любого транзистора р-типа и одного любого транзистора n-типа ценой четырехкратной избыточности. Если реализовать функцию , т.е. перемычку по точкам 5, 6, то получим ячейку (рис. 4). p-структура n-структура Рис. 4. Отказоустойчивая ячейка поля базового матричного кристалла БМК для реализации одного транзистора р-типа и одного транзистора n-типа с перемычкой по точкам 5, 6 При этом каждый транзистор управляется своим сигналом I1-I4 (3, 7), которые подаются с двух сторон ячейки, что требует расчетверения связей. Если объединить входы, получим ячейку (рис. 5). р-структура n-структура Рис. 5. Отказоустойчивая ячейка поля базового матричного кристалла БМК для реализации одного транзистора р-типа и одного транзистора n-типа с объединением входов Х Наконец, если вход Х продублировать с другой стороны ячейки, получим ячейку (рис. 6). p-структура n-структура Рис. 6. Отказоустойчивая ячейка поля базового матричного кристалла БМК для реализации одного транзистора р-типа и одного транзистора n-типа с объединением входов и дублированием Х 2. Реализация логических элементов на основе отказоустойчивой ячейки поля БМК. Построим отказоустойчивый инвертор [16-19], например, для отказоустойчивой ячейки оперативной памяти SRAM (рис. 7). p-структура n-структура Z Vcc Рис. 7. Отказоустойчивый инвертор для ячейки оперативной памяти SRAM Тогда ячейка оперативной памяти SRAM [17-19], состоящая из двух инверторов, будет выглядеть так, как показано на рис. 8. p-структура n-структура p-структура n-структура Рис. 8. Отказоустойчивая ячейка оперативной памяти SRAM-QSRAM В перспективе целесообразно провести исследования с учетом особенностей топологии кристалла и интенсивности отказов связей. Выводы Таким образом, на основе двух 4-транзисторных стандартных ячеек разработана отказоустойчивая ячейка поля БМК, которая представляет собой две резервированных структуры для реализации одного транзистора р-типа, и одного транзистора n-типа. В частности, линии управления затворами всех транзисторов могут быть объединены. Такие ячейки целесообразно использовать для проектирования высоконадежной аппаратуры на основе БМК. Анализ показывает существенно больший выигрыш в вероятности безотказной (бессбойной) работы по сравнению с троированием элементов на достаточно большом временном диапазоне, причем выигрыш тем больше, чем сложнее элемент. Предложенная ячейка статической оперативной памяти QSRAM с учетверением транзисторов на основе ячеек БМК парирует отказы типа SEU (Single Event Upset) и SEE (Single Event Effect). Сравнение показывает существенно больший выигрыш в вероятности безотказной работы по сравнению с троированием, причем затраты на троирование одной ячейки при одном мажоритаре больше. В перспективе рекомендуется провести исследования с учетом особенностей топологии кристалла и интенсивности отказов связей. Описанное резервирование наталкивается на ограничение в количестве последовательно соединенных транзисторов (не более четырех) [20], но уже имеются сообщения о его ослаблении [21].

Об авторах

С. Ф Тюрин

Пермский национальный исследовательский политехнический университет

Email: tyurinsergfeo@yandex.ru

Список литературы

  1. Проблемы создания отечественной элементной компонентной базы [Электронный ресурс]. - URL: http://www.electronics.ru/journal/ article/295 (дата обращения: 27.06.2015).
  2. Инновационный комплекс МИЭТ [Электронный ресурс]. - URL: http://miet.ru/content/s/200 (дата обращения: 27.06.2015).
  3. Базовые матричные кристаллы [Электронный ресурс]. - URL: http://www.asic.ru/index.php?option=com_content&view=article&id=52&I temid=92 (дата обращения: 27.06.2015).
  4. САПР «Ковчег 3.0» для проектирования микросхем на БМК серий 5503, 5507, 5521 и 5529 / С.В. Гаврилов, А.Н. Денисов, В.В. Коняхин, М.М. Макарцева. - М., 2013. - 295 с.
  5. Библиотека функциональных ячеек для проектирования полузаказных микросхем серий 5503 и 5507 / А.Н. Денисов, Ю.П. Фомин, В.В. Коняхин, Р.А. Федоров: под общ. ред. А.Н. Саурова. - М.: Техносфера, 2012. - 304 c.
  6. Библиотека элементов для проектирования самосинхронных полузаказных БМК микросхем серий 5503/5507 / Ю.А. Степченков, А.Н. Денисов, Ю.Г. Дьяченко, Ф.И. Гринфельд, О.П. Филимоненко, Н.В. Морозов, Д.Ю. Степченков. - М.: Изд-во ИПИ РАН, 2014. - 296 с.
  7. МЦСТ. Микропроцессор нового поколения Эльбрус 2С+ [Электронный ресурс]. - URL: http://www.mcst.ru/modul-comexpress (дата обращения: 28.06.2015).
  8. Бетелин В.Б. Суперкомпьютерные технологии эксафлопного класса - ключевой фактор развития русской инженерной школы в ХХI веке [Электронный ресурс] / Нижегород. гос. ун-т им. Н.И. Лобачевского; 24 ноября 2012 г. - URL: https://www.niisi.ru/nngu.pdf (дата обращения: 09.03.2016).
  9. ОАО КБ «Корунд-М» [Электронный ресурс]. - URL: http://www.korund-m.ru/ (дата обращения: 28.06.2015).
  10. Donald C. Mayer, Ronald C. Lacoe. Designing Integrated Circuits to Withstand Space Radiation [Электронный ресурс] // Crosslink. - Vol. 4, № 2. - URL: http://www.aero.org/publications/crosslink/summer2003/ 06.html (дата обращения: 20.05.2015).
  11. Юдинцев В. Радиационно-стойкие интегральные схемы. Надежность в космосе и на земле [Электронный ресурс] // Электроника: Наука, Технология, Бизнес. - 2007. - № 5. - С. 72-77. - URL: http://www.electronics.ru/files/article_pdf/0/article_592_363.pdf (дата обращения: 29.05.2015).
  12. Tyurin S.F. Retention of functional completeness of Boolean functions under "failures" of the arguments // Automation and Remote Control 60 (9 PART 2). - 1999. - P. 1360-1367.
  13. Tyurin S., Kharchenko V. Redundant Basises for Critical Systems and Infrastructures // General Approach and Variants of Implementation Proceedings of the 1st Intrenational Workshop on Critical Infrastructures Safety and Security; Kirovograd, Ukraine, 11-13 May 2011 / Kharchenko V., Tagarev V. (edits). - 2011. - Vol. 2. - P. 300-307.
  14. Tyurin S.F., Grekov A.V., Gromov O.A. The principle of recovery logic FPGA for critical applications by adapting // World Applied Sciences Journal. - 2013. - № 26(3) - P. 328-332. doi: 10.5829/idosi.wasj.2013.26.03.13474
  15. Tyurin S.F., Gromov O.A. A residual basis search algorithm of fault-tolerant programmable logic integrated circuits // Russian Electrical Engineering. - 2013. - № 84(11). - P. 647-651. doi: 10.3103/S1068371213110163
  16. Тюрин С.Ф. Ячейка памяти QSRAM // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2015. - № 1(28). - С. 74-78.
  17. Тюрин С.Ф. Моделирование радиационно-устойчивой ячейки памяти SRAM // Вестник Перм. ун-та. Сер.: Математика. Механика. Информатика. - 2015. - № 2(29). - С. 72-77.
  18. Тюрин С.Ф. Отказоустойчивая ячейка памяти QSRAM // Проектирование и технология электронных средств. - 2014. - № 1. - С. 31-37.
  19. Тюрин С.Ф. Анализ ячейки памяти SRAM как SR триггера И автомата Мура // Вестник Перм. ун-та. Сер.: Математика. Механика. Информатика. - 2014. - № 3(26). - С. 86-89.
  20. Ульман Дж.Д. Вычислительные аспекты СБИС / пер. с англ. А.В. Неймана; под ред. П.П. Пархоменко. - М.: Радио и связь, 1990. - 480 с.
  21. Глебов А.Л. SP-BDD-модель цифровых КМОП-схем и ее приложения в оптимизации и моделировании [Электронный ресурс]. - URL: http://technomag.edu.ru/doc/49908.html (дата обращения: 28.06.2015).

Статистика

Просмотры

Аннотация - 48

PDF (Russian) - 21

Ссылки

  • Ссылки не определены.

© Тюрин С.Ф., 2016

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution-NonCommercial 4.0 International License.

Данный сайт использует cookie-файлы

Продолжая использовать наш сайт, вы даете согласие на обработку файлов cookie, которые обеспечивают правильную работу сайта.

О куки-файлах