Modeling of systems and processes

Моделирование систем и процессов

2219-0767

30314

10.12737/article_5d639c80c83b71.60273345

Технические науки

METHODS OF VERIFICATION OF COMPLEX FUNCTIONAL BLOCKS IN CAD FOR CHIPS OF DEEP SUBMICRON DESIGN NORMS

Методы верификации сложно-функциональных блоков в САПР для микросхем глубоко субмикронных проектных норм

Зольников

Владимир Константинович

Zolnikov

V. K.

Евдокимова

Светлана Анатольевна

Evdokimova

Svetlana Anatol'evna

кандидат технических наук;

candidate of technical sciences;

Скворцова

Татьяна Владимировна

Skvortsova

Tatyana Vladimirovna

Воронежский государственный лесотехнический университет имени Г.Ф. Морозова Voronezh State University of Forestry and Technologies named after G.F. Morozov

12 1 16 24

https://zh-szf.ru/en/nauka/article/30314/view

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

Микросхема сложно-функциональный блок (СФ-блок) система автоматизированного проектирования (САПР) верификация системы на кристалле микросхемы цифровой обработки сигналов (ЦОС).

Методы схемотехнического моделирования КМОП СБИС с учетом радиации / К.В. Зольников, В.А. Скляр, В.И. Анциферова, С.А. Евдокимова // Вопросы атомной науки и техники. Серия: Физика радиационного воздействия на радиоэлектронную аппаратуру. - 2014. - № 2. - С. 5-9.

Metody shemotehnicheskogo modelirovaniya KMOP SBIS s uchetom radiacii / K.V. Zol'nikov, V.A. Sklyar, V.I. Anciferova, S.A. Evdokimova // Voprosy atomnoy nauki i tehniki. Seriya: Fizika radiacionnogo vozdeystviya na radioelektronnuyu apparaturu. - 2014. - № 2. - S. 5-9.

Проектирование и испытания микросхем для систем сбора и обработки информации / В.А. Скляр, А.В. Ачкасов, К.В. Зольников // Радиотехника. - 2014. - № 6. - С. 94-98.

Proektirovanie i ispytaniya mikroshem dlya sistem sbora i obrabotki informacii / V.A. Sklyar, A.V. Achkasov, K.V. Zol'nikov // Radiotehnika. - 2014. - № 6. - S. 94-98.

Ачкасов, А.В. Создание отечественной проектной среды разработки микроэлектронных систем / А.В. Ачкасов, A.И. Яньков // Приводная техника. - 2006. - № 5. - С. 28-30.

Achkasov, A.V. Sozdanie otechestvennoy proektnoy sredy razrabotki mikroelektronnyh sistem / A.V. Achkasov, A.I. Yan'kov // Privodnaya tehnika. - 2006. - № 5. - S. 28-30.

Основные методы и процедуры верификации СФ-блоков / В.А. Скляр, В.П. Крюков, В.Н. Ачкасов, Ю.А. Чевычелов // Моделирование систем и процессов. - 2011. - № 4. - С. 58-61.

Osnovnye metody i procedury verifikacii SF-blokov / V.A. Sklyar, V.P. Kryukov, V.N. Achkasov, Yu.A. Chevychelov // Modelirovanie sistem i processov. - 2011. - № 4. - S. 58-61.

Определение вероятности безотказной работы при структурной оптимизации элементов сложных функциональных блоков в САПР / В.А. Смерек, К.В. Зольников, А.И. Яньков, М.В. Конарев, Н.А. Орликовский, А.В. Ачкасов // Моделирование систем и процессов. - 2013. - № 3. - С. 35-37.

Opredelenie veroyatnosti bezotkaznoy raboty pri strukturnoy optimizacii elementov slozhnyh funkcional'nyh blokov v SAPR / V.A. Smerek, K.V. Zol'nikov, A.I. Yan'kov, M.V. Konarev, N.A. Orlikovskiy, A.V. Achkasov // Modelirovanie sistem i processov. - 2013. - № 3. - S. 35-37.

Проблема целостности сигнала: характеризация и моделирование процессов в САПР / В.А. Скляр, В.К. Зольников, А.И. Яньков, Ю.А. Чевычелов, В.Ф. Барабанов // Моделирование систем и процессов. - 2013. - № 2. - С. 67-72.

Problema celostnosti signala: harakterizaciya i modelirovanie processov v SAPR / V.A. Sklyar, V.K. Zol'nikov, A.I. Yan'kov, Yu.A. Chevychelov, V.F. Barabanov // Modelirovanie sistem i processov. - 2013. - № 2. - S. 67-72.

Фортинский, Ю. К. Создание подсистемы верификации сложных цифровых микросхем с учетом радиационного воздействия / Ю.К. Фортинский, В.К. Зольников, М.В. Конарев. - Воронеж, 2011. - 121 с.

Fortinskiy, Yu. K. Sozdanie podsistemy verifikacii slozhnyh cifrovyh mikroshem s uchetom radiacionnogo vozdeystviya / Yu.K. Fortinskiy, V.K. Zol'nikov, M.V. Konarev. - Voronezh, 2011. - 121 s.

Методы обеспечения стойкости микросхем к одиночным событиям при проектировании радиационно-стойких микросхем / В.Н. Ачкасов, В.А. Смерек, Д.М. Уткин, В.К. Зольников // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). -2012. - № 1. - С. 634-637.

Metody obespecheniya stoykosti mikroshem k odinochnym sobytiyam pri proektirovanii radiacionno-stoykih mikroshem / V.N. Achkasov, V.A. Smerek, D.M. Utkin, V.K. Zol'nikov // Problemy razrabotki perspektivnyh mikro- i nanoelektronnyh sistem (MES). -2012. - № 1. - S. 634-637.

Крюков, В.П. Проблемы моделирования базовых элементов КМОП БИС двойного назначения в САПР / В.П. Крюков, К.В. Зольников, С.А. Евдокимова // Моделирование систем и процессов. - 2013. - № 4. - С. 41-44.

Kryukov, V.P. Problemy modelirovaniya bazovyh elementov KMOP BIS dvoynogo naznacheniya v SAPR / V.P. Kryukov, K.V. Zol'nikov, S.A. Evdokimova // Modelirovanie sistem i processov. - 2013. - № 4. - S. 41-44.