Статья

Название статьи ОПТИМИЗАЦИЯ СХЕМ КОДИРОВАНИЯ НА ОСНОВЕ ВЫБОРА ВАРИАНТА КОММУТАЦИЙ С УЧЕТОМ ЛОГИЧЕСКИХ КОРРЕЛЯЦИЙ МЕЖДУ ВЫХОДАМИ КОМБИНАЦИОННОЙ СХЕМЫ
Автор С.В. Гаврилов, Г.А. Иванова, А.Н. Соловьев, А.Л. Стемпковский
Рубрика РАЗДЕЛ VI. ВЫЧИСЛИТЕЛЬНЫЕ КОМПЛЕКСЫ НОВОГО ПОКОЛЕНИЯ И НЕЙРОКОМПЬЮТЕРЫ
Месяц, год 06, 2015
Индекс УДК 621.3.049.771.14
DOI
Аннотация Данная статья посвящена исследованию и разработке методов повышения помехозащищенности микроэлектронных схем. По мере роста степени интеграции и уменьшения технологических размеров возрастает роль повышения надежности и помехоустойчивости проектируемых устройств под воздействием различных источников помех и сбоев: технологических, радиационных, перекрестных помех, деградации во времени, скачков напряжения питания и др. В настоящее время складывается ситуация, когда фактор помехоустойчивости в микроэлектронике становится определяющим условием работоспособности и надежности разрабатываемой электронной аппаратуры. При этом одни из ключевых компонентов – комбинационные схемы. Поэтому актуальным является исследование и разработка методов повышения отказоустойчивости микроэлектронных комбинационных схем. Для обеспечения необходимого уровня помехозащищенности (обнаружение ошибок с заданной степенью кратности) для синтеза схемы кодирования предлагается использовать операцию деления на образующий многочлен в двоичном поле Галуа. Предлагается оптимизация схем кодирования за счет выбора варианта коммутирования выходов дубликата основной схемы на основе результатов анализа логических корреляций.

Скачать в PDF

Ключевые слова Помехоустойчивость; упорядоченные диаграммы двоичных решений; поля Галуа.
Библиографический список 1. Гаврилов С.В., Пирютина Г.А., Щелоков А.Н. Статический временной анализ КМОП-схем с учетом дестабилизирующих факторов // Известия ЮФУ. Технические науки. – 2013. – № 7 (144). – С. 65-70.
2. ГОСТ 27.310-95. Надежность в технике. Анализ видов, последствий и критичности отказов. Основные положения. – М.: Изд-во стандартов, 1995. – 22 с.
3. РД 134-0139-2005. Аппаратура, приборы, устройства и оборудование космических аппаратов. Методы оценки стойкости к воздействию заряженных частиц космического пространства по одиночным сбоям и отказам, ЦНИИмаш, 2005. – 78 с.
4. Соболев С.А. Функциональный метод оценки соответствия аппаратуры требованиям по отказам, вызванным ОЯЧ // Вопросы атомной науки и техники. – 2013. – № 3. – С. 121-132.
5. Шишкевич А.А. Оценка показателей надежности вычислительных устройств с трехкратным мажорированием при отказах и сбоях // Известия вузов. Электроника. – 2013. – № 4. – С. 84-88.
6. Соловьев А.Н., Стемпковский А.Л., Тельпухов Д.В., Соловьев Р.А., Мячиков М.В. Моделирование возникновения неисправностей для оценки надежностных характеристик логических схем // Информационные технологии. – 2014. – № 11. – С. 30-36.
7. Соловьев А.Н., Стемпковский А.Л. Методы повышения отказоустойчивости работы устройства управления микросистемы за счет введения структурной избыточности // Информационные технологии. – 2014. – № 10. – С. 17-22.
8. Bryant R.E. Graph-Based Algorithms for Boolean Function Manipulation // IEEE Transactions on Computers. – 1986. – Vol. 35, № 8. – P. 677-691.
9. Gavrilov S.V., Glebov A.L. BDD-based circuit level structural optimization for digital CMOS. 1-st Intern. Workshop "Multi-Architecture Low Power Design". – Moscow, 1999. – P. 45-49.
10. Гаврилов С.В., Гудкова О.Н., Щелоков А.Н. Логико-временной анализ нанометровых схем на основе интервального подхода // Известия ЮФУ. Технические науки. – 2012. – № 7 (132). – С. 85-91.
11. Gavrilov S.V., Gudkova O.N., Stempkovskiy A.L. The Analysis of the Performance of Nanometer IP-blocks Based on Interval Simulation // Russian Microelectronics. – 2013. – Vol.42, No. 7. – P. 396-402.
12. Гаврилов С.В., Пирютина Г.А., Щелоков А.Н. Метод интервальных оценок задержек и выходных фронтов библиотечных элементов нанометровых КМОП-схем // Известия ЮФУ. Технические науки. – 2012. – № 7 (132). – С. 70-76.
13. Гаврилов С.В., Глебов А.Л., Стемпковский А.Л. Методы логического и логико-временного анализа цифровых КМОП СБИС. – M.: Наука, 2007. – 223 c.
14. Гаврилов С.В. Методы анализа логических корреляций для САПР цифровых КМОП СБИС. – М.: Техносфера, 2011. – 136 c.
15. Gavrilov S.V., Glebov A.L., Soloviev R.A., etc Delay Noise Pessimism Reduction by Logic Correlations // In Proc. of ICCAD, 2004. – P. 160-167.
16. Гаврилов С.В., Рыжова Д.И., Стемпковский А.Л. Методы повышения точности оценки пикового тока на логическом уровне на основе анализа логических корреляций // Известия ЮФУ. Технические науки. – 2014. – № 7 (156). – C. 66-75.
17. Гаврилов С.В., Рыжова Д.И. Алгоритм оценки пикового тока на логическом уровне проектирования на основе анализа распространения логических корреляций в схеме // Вестник Рязанского государственного радиотехнического университета. – 2015. – № 2 (Вып. 52). – С. 53-61.
18. Гаврилов С.В., Гудкова О.Н., Северцев В.Н. Интервальный статический временной анализ КМОП-схем с учетом логических корреляций // V Всероссийская научно-техническая конференция “Проблемы разработки перспективных микро- и наноэлектронных систем – 2012”: сб. научн. тр. / под общей ред. А.Л. Стемпковского. – М.: ИППМ РАН, 2012. – С. 113-118.
19. Glebov A.L., Gavrilov S.V., Blaauw D. False-noise analysis using resolution method. ISQED-2002.
20. Стемпковский А.Л., Гаврилов С.В., Глебов А.Л. Анализ помехоустойчивости цифровых схем на основе метода резолюций // Известия вузов. Электроника. – 2004. – № 6. – С. 64-71.

Comments are closed.