Modeling of systems and processes Modeling of systems and processes Моделирование систем и процессов 2219-0767 30316 10.12737/article_5d639c80dafac1.08243981 Технические науки Технические науки THE MODELING EFFICIENCY OF THE CIRCUITS AT DIFFERENT HIERARCHICAL LEVELS OF DESCRIPTION IN CAD Моделирование работоспособности микросхем на различных иерархических уровнях описания в САПР Зольников Владимир Константинович Zolnikov V. K. Савченко Андрей Леонидович Savchenko Andrey Леонидович Кулай А. Ю. Kulay A. Ю. Воронежский государственный лесотехнический университет имени Г.Ф. Морозова Voronezh State University of Forestry and Technologies named after G.F. Morozov АО «Научно-исследовательский институт микроприборов» (г. Москва) Россия АО «Научно-исследовательский институт микроприборов» (г. Москва) Russian Federation АО «Научно-исследовательский институт электронной техники» Воронеж Россия АО «Научно-исследовательский институт электронной техники» Воронеж Russian Federation 12 1 30 39 https://zh-szf.ru/en/nauka/article/30316/view

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

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

 Микросхема система автоматизированного проектирования (САПР) уровни описания верификация системного уровня функциональное моделирование совмещенная аппаратно-программная конфигурация.

Автоматизация проектирования комплементарных микросхем с учетом одиночных / И.П. Потапов, В.М. Антимиров, Ю.К. Фортинский, К.И. Таперо. - Воронеж, 2007. - 121 с. Avtomatizaciya proektirovaniya komplementarnyh mikroshem s uchetom odinochnyh / I.P. Potapov, V.M. Antimirov, Yu.K. Fortinskiy, K.I. Tapero. - Voronezh, 2007. - 121 s. Слинкин, Д. И. Анализ современных методов тестирования и верификации проектов сверхбольших интегральных схем / Д. И. Слинкин // Программные продукты и системы. - 2017. - № 3. - С. 401-408. Slinkin, D. I. Analiz sovremennyh metodov testirovaniya i verifikacii proektov sverhbol'shih integral'nyh shem / D. I. Slinkin // Programmnye produkty i sistemy. - 2017. - № 3. - S. 401-408. Состояние разработок элементной базы для систем связи и управления / В.К. Зольников, А.Ю. Кулай, В.П. Крюков, С.А. Евдокимова // Моделирование систем и процессов. - 2016. - Т. 9, № 4. -С. 11-13. Sostoyanie razrabotok elementnoy bazy dlya sistem svyazi i upravleniya / V.K. Zol'nikov, A.Yu. Kulay, V.P. Kryukov, S.A. Evdokimova // Modelirovanie sistem i processov. - 2016. - T. 9, № 4. -S. 11-13. Определение вероятности безотказной работы при структурной оптимизации элементов сложных функциональных блоков в САПР / В.А. Смерек, К.В. Зольников, А.И. Яньков, М.В. Конарев, Н.А. Орликовский, А.В. Ачкасов // Моделирование систем и процессов. - 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. Средства функциональной верификации микропроцессоров / А.С. Камкин, А.М. Коцыняк, С.А. Смолов, А.Д. Татарников, М.М. Чупилко, А.А. Сортов // Труды Института системного программирования РАН. - 2014. - Т. 26, № 1. - С. 149-200. Sredstva funkcional'noy verifikacii mikroprocessorov / A.S. Kamkin, A.M. Kocynyak, S.A. Smolov, A.D. Tatarnikov, M.M. Chupilko, A.A. Sortov // Trudy Instituta sistemnogo programmirovaniya RAN. - 2014. - T. 26, № 1. - S. 149-200. Скляр, В. А. Совмещенная аппаратно-программная верификация микросхем / В.А. Скляр, К.В. Зольников, И.В. Нагорный // Моделирование систем и процессов. - 2012. - № 2. - С. 63-65. Sklyar, V. A. Sovmeschennaya apparatno-programmnaya verifikaciya mikroshem / V.A. Sklyar, K.V. Zol'nikov, I.V. Nagornyy // Modelirovanie sistem i processov. - 2012. - № 2. - S. 63-65. Крюков, В. П. Проблемы моделирования базовых элементов КМОП БИС двойного назначения в САПР / В.П. Крюков, К.В. Зольников, С.А. Евдокимова // Моделирование систем и процессов. - 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. Зольников, В.К. Методика проектирования радиационно-стойких интегральных схем / В.К. Зольников, В.Н. Ачкасов, В.П. Крюков // Вопросы атомной науки и техники. Серия: Физика радиационного воздействия на радиоэлектронную аппаратуру. - 2004. - № 1-2. - С. 57-60. Zol'nikov, V.K. Metodika proektirovaniya radiacionno-stoykih integral'nyh shem / V.K. Zol'nikov, V.N. Achkasov, V.P. Kryukov // Voprosy atomnoy nauki i tehniki. Seriya: Fizika radiacionnogo vozdeystviya na radioelektronnuyu apparaturu. - 2004. - № 1-2. - S. 57-60. Создание подсистемы верификации сложных цифровых микросхем с учетом радиационного воздействия / Фортинский Ю.К., Зольников В.К., Конарев М.В. - Воронеж, 2011. - 208 c. Sozdanie podsistemy verifikacii slozhnyh cifrovyh mikroshem s uchetom radiacionnogo vozdeystviya / Fortinskiy Yu.K., Zol'nikov V.K., Konarev M.V. - Voronezh, 2011. - 208 c.