Структура

Результаты научных исследований и разработки

Теоретические результаты.

• Языки ЛЯПАС, ЛЯПАС-М программирования.
• Язык ПРАЛУ описания параллельных процессов.
• Теория проектирования дискретных систем управления на элементной базе МИС, СИС и ПЛИС (программируемых логических интегральных схем).
• Теория синтеза каскадных схем в базисе ПЛМ (программируемых логических матриц).
• Теория логического вывода в базах данных и знаний распознающих систем.
• Теория решения логических уравнений большой размерности.
• Методы технологически независимой оптимизации логических описаний (минимизация в классе ДНФ и их факторизованных форм, бинарных диаграмм решений BDD).
• Методы верификации функциональных и структурных описаний многовыходных комбинационных схем и систем с неопределенностью поведения.
• Методы решения задачи выполнимости КНФ (SAT-проблемы).
• Методы декомпозиции систем булевых функций на основе решения логических уравнений и табличных матричных форм.
• Методы решения логико-комбинаторных задач на матрицах и графах.
• Технология алгоритмизации комбинаторных задач, основанная на распараллеливании операций в многомерном булевом пространстве.
• Методы синтеза цифровых КМОП схем c пониженным энергопотреблением и оценки их энергопотребления.
• Методы синтеза регулярных матричных структур и оценки их быстродействия.
• Методы оптимизации площади регулярных матричных структур на этапе топологического проектирования заказных цифровых СБИС.
• Методы и инструментарий для решения задач конвертации описаний дискретных устройств на языках высокого уровня.
• Методы и средства для распараллеливания выполнения программ логического проектирования на кластерном компьютере.
• Продукционно-фреймовая модель представления знаний и ее использование для управления процессами автоматизированного логического проектирования дискретных устройств.
• Модели и методы верификации параллельных алгоритмов логического управления (корректность, моделирование и диагностика).
• Модели и методы автоматной, программной и схемной реализации параллельных алгоритмов логического управления.
• Методы применения языка ПРАЛУ для программирования логических контроллеров и задания протоколов мультиагентных систем.
• Методы обратного проектирования КМОП СБИС путем экстракции логических сетей из схем транзисторного уровня.

Практические результаты.

В лаборатории разработано 4 системы программирования на языках ЛЯПАС и ЛЯПАС-М и 25 систем логического проектирования и распознавания, в том числе:

• система CLTT сквозного проектирования функциональных блоков заказных цифровых СБИС на основе программируемых макроэлементов;
• система ЭЛС энергосберегающего логического синтеза;
• программный комплекс MICEL схемной реализации параллельных алгоритмов логического управления;
• программный комплекс LOGIC для решения комбинаторных задач логического проектирования и искусственного интеллекта;
• комплекс программ FPGAConv конвертации FPGA-проектов семейства Spartan3 в заказные СБИС;
• cистема CMOSLD логического проектирования функциональных блоков заказных КМОП СБИС с пониженным энергопотреблением;
• программный комплекс «Сшивка кадров» для автоматизации работы с кадрами видеоизображения топологии СБИС;
• программный комплекс декомпиляции транзисторных описаний КМОП СБИС.

Достижения

• Почетные грамоты Верховного Совета БССР (1978 г., 1988г. – Закревский А.Д).
• Знак «Победитель соцсоревнования» (Черемисинов Д.И., Черемисинова Л.Д.).
• Почетная грамота Президиума АН БССР (Черемисинова Л.Д.).
• Надбавка Президента Республики Беларусь (Черемисинова Л.Д.).
• Стипендия Президента Республики Беларусь (Бибило П.Н.).
• Почетные грамоты ВАК Беларуси (1999 г., 2013 г. – Бибило П.Н.; Черемисинова Л.Д. – 2015 г.).
• Почетная грамота Президиума НАН Беларуси (Закревский А.Д.).
• Премия отделения физики, математики и информатики НАН Беларуси (Закревский А.Д., Торопов Н.Р.).
• Премия НАН Беларуси имени академика В.Ф. Купревича для молодых ученых за цикл работ «Синтез и верификация логических структур для интегральных микросхем радиочастотной идентификации» (2013 г.).
• Стипендия президента Республики Беларусь (Городецкий Д.А.).
• Медаль Франциска Скарины (Бибило П.Н.).
• Почетная грамота БРФФИ (Бибило П.Н.).
• Почетная грамота конференции МЭС-2018 за лучший доклад «Алгоритмическое проектирование цифровых операционных устройств с пониженным энергопотреблением» в номинации «Методы и средства проектирования микро- и наноэлектронных систем».
• Премия НАН Беларуси в области информационных технологий за цикл работ «Оптимизация функциональных и структурных моделей цифровых устройств при автоматизированном проектировании сверхбольших интегральных схем» (Бибило П.Н.).