|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
ОКР «Разработка инструмента высокоуровневого синтеза СФ-блоков конечных автоматов», шифр «ИРИС»НИР
R&D "Development of a tool for high-level synthesis of SF blocks of finite state machines", code "IRIS"
- Руководитель НИР: Гасанов Э.Э.
- Ответственный исполнитель: Калачев Г.В.
- Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Анненков А.П., Антонов А.П., Бабин Д.Н., Бегунц А.В., Бергер И.О., Бирюкова В.А., Боков Г.В., Быстрыгова А.В., Волков Н.Ю., Воротников А.С., Галатенко А.В., Гасанова К.Э., Демидова А.А., Дергач П.С., Дробышев А.С., Дудакова О.С., Дюбанов А.В., Ефимов А.А., Жарков Д.В., Жук Д.Н., Заплетин М.П., Иванов И.Е., Ирматов А.А., Калашников М.Э., Кобельков С.Г., Козлов В.Н., Колпаков Р.М., Комбаров Ю.А., Коновалов А.Ю., Корнеев С.А., Корчагин Н.П., Кочергин В.В., Кузнецова Е.В., Мазуренко И.Л., Менькин М.И., Миронов А.М., Молдованов И.В., Носов В.А., Носов М.В., Панкратьев А.Е., Пантелеев П.А., Патрашкин Н.А., Плетнев А.А., Подколзин А.С., Половников В.С., Редькин Н.П., Родин С.Б., Ронжин Д.В., Скударев Е.Г., Снегова Е.А., Соколов А.П., Староверов В.М., Сыркин Г.И., Хазова К.В., Хусаенов А.А., Часовских А.А., Чашкин А.В., Чернова Ю.Г., Шуткин А.С., Шуткин Ю.С., Шуткина О.В., Юсупов Ф.Р., строгалов а.с.
- Подразделение: Кафедра математической теории интеллектуальных систем
- Срок исполнения: 14 сентября 2023 г. - 12 декабря 2024 г.
- Номер договора (контракта, соглашения): 7/007/17705596339230001930
- Тип: Прикладная
- Приоритетное направление научных исследований: Дискретная математика, математическая кибернетика и искусственный интеллект
- Приоритеты и перспективы НТР Российской Федерации согласно Стратегии НТР РФ: переход к передовым цифровым, интеллектуальным технологиям
- ПН России: Информационно-телекоммуникационные системы
- Направление технологического прорыва России: Стратегические информационные технологии
- Критическая технология России: Технологии создания электронной компонентной базы и энергоэффективных световых устройств
-
Рубрики ГРНТИ:
- 27.03.17 Алгоритмы и вычислимые функции
- 27.47.15 Математическая теория управляющих систем
- 28.25.15 Анализ и синтез конечных автоматов
- 47.14.07 Проектирование и конструирование полупроводниковых приборов и приборов микроэлектроники
-
Ключевые слова:
библиотека готовых модулей, язык описания интегральных схем, средства симуляции интегральных схем, генерация rtl-кода, среда разработки, средства создания функциональных и покрывающих тестов, конечные автоматы, проектирование интегральных схем
integrated circuit description language, rtl code generation, finite state machines, integrated circuit simulation tools, development environment, tools for creating functional and coverage tests, library of ready-made modules, integrated circuit design -
Описание:
Целью ОКР является разработка и проведений испытаний программного инструментария, позволяющего в среде разработки С++ создавать, отлаживать, симулировать СФ-блок и получать на выходе полностью отлаженный RTL Verilog код, который может использоваться на последующих этапах проектирования интегральных схем.
-
Abstract:
The goal of the development work is to develop and test software tools that allow, in the C++ development environment, to create, debug, simulate a complex functional block and obtain as an output a fully debugged RTL Verilog code that can be used at subsequent stages of integrated circuit design.
-
Планируемые результаты:
1. Разработка продвинутых понятий и функционала языка и среды ИРИС, в том числе: - средства оценки количества логических элементов и задержек, а также глубины разрабатываемых схем; - средства для создания модулей с несколькими тактовыми сигналами; - средства оптимизации логики схем; - средства для выявления критических путей разрабатываемых аппаратных модулей; - средства для добавления регистров на критические пути и последующую автоматическую простановку регистров на остальных путях с целью синхронизации сигнала и сохранения корректности функционирования. 2. Разработка дополнительных модулей библиотеки готовых модулей, в том числе: - модулей для выполнения операций с плавающей точкой; - модулей для выполнения матричных операций; - модулей простейших помехоустойчивых кодеков, например, для кодов БЧХ; - простейших модулей шифрования в соответствии с ГОСТ Р 34.12-2015. 3. Проведение функциональных и покрывающих тестов для всех созданных модулей библиотеки готовых модулей в симуляторе и на ПЛИС и оценка их качества. 4. Разработка комплекта документов, том числе: - документации с описанием языка и среды ИРИС с примерами их использования; - документации с описанием всех средств разработки и тестирования с примерами их использования; - документации по проведению приемочных испытаний разработанного программного продукта. 5. Разработка программы дополнительного профессионального образования (ДПО) для подготовки специалистов к использованию разработанного ПО. 6. Проведение приемочных испытаний разработанного программного продукта на соответствие требованиям технического задания по программе и методикам испытаний, разработанным Исполнителем, с подписанием акта приемочных испытаний.
-
Научный задел:
Команда кафедры МаТИС более 25 лет работает в области разработки изделий микроэлектроники и набрала в этой области богатейшим опытом.
-
Основные результаты:
1. Разработка продвинутых понятий и функционала языка и среды ИРИС, в том числе: - средства оценки количества логических элементов и задержек, а также глубины разрабатываемых схем; - средства для создания модулей с несколькими тактовыми сигналами; - средства оптимизации логики схем; - средства для выявления критических путей разрабатываемых аппаратных модулей; - средства для добавления регистров на критические пути и последующую автоматическую простановку регистров на остальных путях с целью синхронизации сигнала и сохранения корректности функционирования. 2. Разработка дополнительных модулей библиотеки готовых модулей, в том числе: - модулей для выполнения операций с плавающей точкой; - модулей для выполнения матричных операций; - модулей простейших помехоустойчивых кодеков, например, для кодов БЧХ; - простейших модулей шифрования в соответствии с ГОСТ Р 34.12-2015. 3. Проведение функциональных и покрывающих тестов для всех созданных модулей библиотеки готовых модулей в симуляторе и на ПЛИС и оценка их качества. 4. Разработка комплекта документов, том числе: - документации с описанием языка и среды ИРИС с примерами их использования; - документации с описанием всех средств разработки и тестирования с примерами их использования; - документации по проведению приемочных испытаний разработанного программного продукта. 5. Разработка программы дополнительного профессионального образования (ДПО) для подготовки специалистов к использованию разработанного ПО. 6. Проведение приемочных испытаний разработанного программного продукта на соответствие требованиям технического задания по программе и методикам испытаний, разработанным Исполнителем, с подписанием акта приемочных испытаний.
- Добавил в систему: Гасанов Эльяр Эльдарович
Источник финансирования НИР
| Контракт с гос. корпорациями, министерствами и ведомствами, кроме ФЦП, Создание инструментов САПР для проектирования изделий микроэлектроники |
Этапы НИР
| # | Сроки | Название |
| 1 | 14 сентября 2023 г.-1 декабря 2023 г. | Разработка базового функционала |
| Результаты этапа: В рамках Этапа 1 ОКР решены следующие задачи: 1. Разработаны базовые понятия и функционал языка ИРИС. 2. Разработаны базовые средства среды ИРИС, в том числе: - средства автоматической генерации RTL-кода на языке Verilog с языка ИРИС; - средства симуляционного моделирования разрабатываемых аппаратных модулей; - средства для создания полноценных тестов для аппаратных модулей, в том числе тестов на покрытия; - средства проверки корректности разрабатываемых интегральных схем, в том числе наличие циклов, наличие неподключенных и неопределенных проводов, сверхбольшая нагрузка и т.п.; - средства для запоминания и демонстрации последовательностей сигналов (временных диаграмм); - средства для оценки покрытия кода тестами; - средства тестирования разрабатываемых аппаратных модулей, в том числе с помощью прерываний по условиям, отладочной печати, наблюдения за временными диаграммами и т.п.; - средства мониторинга корректности функционирования разрабатываемых аппаратных модулей; - средства для автоматической генерации тестовых систем для созданных аппаратных модулей на ПЛИС. 3. Разработаны базовые модули библиотеки готовых модулей, в том числе: - модулей для выполнения операций в конечных полях; - модулей для выполнения операций с длинной арифметикой; - модулей для выполнения наиболее распространенных логических операций, в том числе различных операций выбора и арбитража; - модулей для большинства стандартных контейнеров. 4. Проведены функциональные и покрывающие тесты для всех созданных модулей библиотеки готовых модулей в симуляторе и на ПЛИС и оценка их качества. | ||
| 2 | 13 декабря 2023 г.-12 декабря 2024 г. | Разработка продвинутых понятий и функционала, языка и среды ИРИС и разработка дополнительных модулей библиотеки готовых модулей |
| Результаты этапа: | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".