| Наименование РИД |
Программный модуль базовой части расчетного ядра
|
| Реферат |
Разработаны следующие функции базовой части расчетного ядра: функция поиска всех точек пересечения для набора отрезков, функция преобразования произвольного набора отрезков в слой отрезков, функция преобразования слоя отрезков в слой контуров. Также реализованы логические функции проверки конструктивно-технологических ограничений. Наибольшую вычислительную сложность составляет алгоритм поиска всех точек пересечения для набора отрезков. Реальные исходные данные могут содержать до 108 отрезков. Для поиска точек пересечения был разработан алгоритм на основе сбалансированного квадролерева, который позволяет разделять всю область на сбалансированные участки. Далее происходит поиск точек пересечения на каждом участке. Созданная библиотека функций может применяться при разработке программного обеспечения автоматической верификации топологии интегральных схем для техпроцессов 250-65нм.
|
| Возможные направления использования |
Верификация топологии интегральных схем в части проверки конструктивно-технологических ограничений
|
| Количество опытных образцов |
1
|
| Количество просмотров |
6
|
| Наличие дополнительных файлов |
False
|
| Использование РИД правообладателем |
False
|
| Внешнее использование РИД |
False
|
| НИОКТР (JSON) |
{}
|
| ИКСИ (JSON) |
[]
|
| ИКСПО (JSON) |
[]
|
| ОЭСР (JSON) |
[]
|
| Дата первого статуса |
2025-11-24T07:10:25.415931+00:00
|
| Предполагаемый тип результата |
Программа для ЭВМ
|
| Ожидаемая роль |
Заказчик
|
| Заказчик |
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
|
| Руководитель работы |
Быкова Маргарита Александровна
|
| Руководитель организации |
Грязнов Михаил Юрьевич
|
| Регистрационный номер НИОКТР |
125093010910-7
|
| Последний статус |
Подтверждена, 625121900469-9, 2025-12-19 16:54:52 UTC
|
| ОКПД |
Услуги по проектированию и разработке информационных технологий для прикладных задач и тестированию программного обеспечения
|
| Ключевые слова |
проверка конструктивно-технологических ограничений; расчетное ядро; верификации топологии; интегральная схема
|
| Исполнители |
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ НИЖЕГОРОДСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМ. Н.И. ЛОБАЧЕВСКОГО"
|
| Авторы |
Балдин Алексей Александрович; Касимцев Роман Михайлович; Вернигор Ирина Сергеевна; Лаптев Илья Андреевич; Чувашев Анатолий Александрович; Цветков Максим Сергеевич; Фадеев Даниил Александрович; Урмаев Андрей Александрович; Чернядьева Анна Николаевна; Трошанин Федор Ильич; Пачурина Дарья Викторовна; Буянов Артем Дмитриевич; Быкова Маргарита Александровна
|
| Коды тематических рубрик |
27.41.77 - Решение математических задач при помощи моделирующих систем
|
| OESR |
Компьютерные, информационные науки и биоинформатика (разработка аппаратного обеспечения относится к разделу 2.2, социальный аспект относится к разделу 5.8)
|
| Приоритеты научно-технического развития |
а) переход к передовым технологиям проектирования и создания высокотехнологичной продукции, основанным на применении интеллектуальных производственных решений, роботизированных и высокопроизводительных вычислительных систем, новых материалов и химических соединений, результатов обработки больших объемов данных, технологий машинного обучения и искусственного интеллекта;
|
