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