Россия
Рассмотрены принципы проектирования микросхем на различных уровнях описания в системах автоматизированного проектирования. Приведены структуры процессов проектирования микросхем на верхнем уровне и на уровне сложно-функциональных блоков. Показана схема функционального моделирования. Проанализирована совмещенная аппаратно-программная верификация, ее особенности и проблемы.
Микросхема, система автоматизированного проектирования (САПР), уровни описания, верификация системного уровня, функциональное моделирование, совмещенная аппаратно-программная конфигурация.
1. Автоматизация проектирования комплементарных микросхем с учетом одиночных / И.П. Потапов, В.М. Антимиров, Ю.К. Фортинский, К.И. Таперо. - Воронеж, 2007. - 121 с.
2. Слинкин, Д. И. Анализ современных методов тестирования и верификации проектов сверхбольших интегральных схем / Д. И. Слинкин // Программные продукты и системы. - 2017. - № 3. - С. 401-408.
3. Состояние разработок элементной базы для систем связи и управления / В.К. Зольников, А.Ю. Кулай, В.П. Крюков, С.А. Евдокимова // Моделирование систем и процессов. - 2016. - Т. 9, № 4. -С. 11-13.
4. Определение вероятности безотказной работы при структурной оптимизации элементов сложных функциональных блоков в САПР / В.А. Смерек, К.В. Зольников, А.И. Яньков, М.В. Конарев, Н.А. Орликовский, А.В. Ачкасов // Моделирование систем и процессов. - 2013. - № 3. - С. 35-37.
5. Средства функциональной верификации микропроцессоров / А.С. Камкин, А.М. Коцыняк, С.А. Смолов, А.Д. Татарников, М.М. Чупилко, А.А. Сортов // Труды Института системного программирования РАН. - 2014. - Т. 26, № 1. - С. 149-200.
6. Скляр, В. А. Совмещенная аппаратно-программная верификация микросхем / В.А. Скляр, К.В. Зольников, И.В. Нагорный // Моделирование систем и процессов. - 2012. - № 2. - С. 63-65.
7. Крюков, В. П. Проблемы моделирования базовых элементов КМОП БИС двойного назначения в САПР / В.П. Крюков, К.В. Зольников, С.А. Евдокимова // Моделирование систем и процессов. - 2013. - № 4. - С. 41-44.
8. Зольников, В.К. Методика проектирования радиационно-стойких интегральных схем / В.К. Зольников, В.Н. Ачкасов, В.П. Крюков // Вопросы атомной науки и техники. Серия: Физика радиационного воздействия на радиоэлектронную аппаратуру. - 2004. - № 1-2. - С. 57-60.
9. Создание подсистемы верификации сложных цифровых микросхем с учетом радиационного воздействия / Фортинский Ю.К., Зольников В.К., Конарев М.В. - Воронеж, 2011. - 208 c.
