Результаты

В последние годы лаборатория разработала ряд систем логического проектирования и искусственного интеллекта. Среди них

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

Разработаны теория проектирования дискретных систем управления на элементной базе настраиваемых (программируемых) логических интегральных схем, теория эффективного логического вывода в базах данных и знаний распознающих систем, теория решения логических уравнений большой размерности.

Работы сотрудников лаборатории были признаны важнейшими научными результатами Института:

Модели параллельных алгоритмов логического управления на языке VHDL (2007г.);
Декомпозиция булевых функций (2008 г.);
Верификация описаний комбинационных устройств в процессе логического проектирования (2009 г.);
Продукционно-фреймовая модель представления знаний для управления процессами логического проектирования дискретных устройств (2012 г.);
Оптимизация многоуровневых представлений логических схем для сокращения энергопотребления и площади кристалла СБИС (2014 г.);
Исследование эффективности логической оптимизации при синтезе цифровых схем (2016 г.);
Модели и методы оценивания энергопотребления логических КМОП-схем (2017 г.);
Модели, методы и программные средства декомпиляции КМОП-схемы на транзисторном уровне в иерархическую схему из логических элементов (2019 г.);
Функциональная верификация VHDL-описаний синхронных цифровых устройств (2020 г.)

В ТОП-100 лучших результатов НАН Беларуси включена работа «Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний» (авторы – Бибило П.Н., Романов В.И.).

За время своего существования сотрудниками лаборатории опубликовано 50 монографий. Каждый год сотрудниками лаборатории публикуется около 50 научных работ. Некоторые из них выходят в международных журналах и трудах международных конференций.