Разработка программного обеспечения для физической верификации топологии интегральных схем: Разработка алгоритмов и функций базовой части расчетного ядра программ верификации топологии интегральных схем
| Название НИОКТР | Разработка программного обеспечения для физической верификации топологии интегральных схем: Разработка алгоритмов и функций базовой части расчетного ядра программ верификации топологии интегральных схем |
|---|---|
| Аннотация | Актуальность проекта обусловлена обеспечением технологической независимости страны в сфере проектирования и производства изделий микроэлектроники. Проект направлен на разработку программного обеспечения автоматической верификации топологии интегральных схем (ИС) для техпроцессов 250-65нм. В стране стартовали проекты создания отечественных САПР, которые должны в 2030 году заменить ПО Calibre от фирмы Siemens DI Software (Германия). За 2025 – 2026 годы должна быть создана программа верификации для техпроцессов 250-180нм. В планах до 2029 года выйти на возможность верификации интегральных схем для техпроцессов до 65нм. Основная сложность данного программного обеспечения состоит в разработке базовой части расчетного ядра, которая позволит описать десятки корневых функций, из которых в свою очередь формируются сложные схемы DRC-проверки (Design Rule Checking) конструктивно-технологических ограничений и LVS-анализа (Layout Versus Schematic) спроектированного дизайна ИС. Жесткие требования функциям базовой части расчетного ядра связаны с производительностью – время работы функций не должно превышать квазилинейный порог с ростом объёма входных данных. |
| Доступ к ОКОГУ исполнителя | False |
| Количество связанных РИД | 1 |
| Количество завершенных ИКРБС | 0 |
| Сумма бюджета | 6000.0 |
| Дата начала | 2025-03-15 |
| Дата окончания | 2025-12-15 |
| Номер контракта | 075-15-2025-217 |
| Дата контракта | 2025-04-04 |
| Количество отчетов | 1 |
| УДК | 519.67 |
| Количество просмотров | 10 |
| Руководитель работы | Быкова Маргарита Александровна |
| Руководитель организации | Грязнов Михаил Юрьевич |
| Исполнитель | ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ НИЖЕГОРОДСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМ. Н.И. ЛОБАЧЕВСКОГО" |
| Заказчик | МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ |
| Федеральная программа | Отсутствует |
| Госпрограмма | — |
| Основание НИОКТР | Грант |
| Последний статус | 2025-09-30 06:50:35 UTC, 2025-09-30 06:50:35 UTC |
| ОКПД | Услуги по проектированию и разработке информационных технологий для прикладных задач и тестированию программного обеспечения |
| Отраслевой сегмент | — |
| Минздрав | — |
| Межгосударственная целевая программа | — |
| Ключевые слова | программное обеспечение; расчетное ядро; верификации топологии; интегральная схема; проверка конструктивно-технологических ограничений |
| Соисполнители | — |
| Типы НИОКТР | Разработка и лабораторная проверка ключевых элементов технологии |
| Приоритетные направления | — |
| Критические технологии | — |
| Рубрикатор | 27.41.41 - Алгоритмы решения задач вычислительной и дискретной математики |
| OECD | — |
| OESR | Компьютерные, информационные науки и биоинформатика (разработка аппаратного обеспечения относится к разделу 2.2, социальный аспект относится к разделу 5.8) |
| Приоритеты научно-технического развития | а) переход к передовым технологиям проектирования и создания высокотехнологичной продукции, основанным на применении интеллектуальных производственных решений, роботизированных и высокопроизводительных вычислительных систем, новых материалов и химических соединений, результатов обработки больших объемов данных, технологий машинного обучения и искусственного интеллекта; |
| Регистрационные номера | ikrbs: {'card_list': [{'id': 'UTZS0YW52M0HX6TPB91NTAN1'}]}; nioktr: {'id': 'IUD5LUT8HWNB7NBUAGKNCM6Z'}; nioktr: {'id': 'GH9LU9UMHZ3VDQKBX6ETYNQP'} |