Ðåçóëüòàòû
 ïîñëåäíèå ãîäû ëàáîðàòîðèÿ ðàçðàáîòàëà ðÿä ñèñòåì ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ è èñêóññòâåííîãî èíòåëëåêòà. Ñðåäè íèõ
- ñèñòåìà CLTT ñêâîçíîãî ïðîåêòèðîâàíèÿ ôóíêöèîíàëüíûõ áëîêîâ çàêàçíûõ öèôðîâûõ ÑÁÈÑ íà îñíîâå ïðîãðàììèðóåìûõ ìàêðîýëåìåíòîâ;
- ñèñòåìà ÝËÑ ýíåðãîñáåðåãàþùåãî ëîãè÷åñêîãî ñèíòåçà;
- ïðîãðàììíûé êîìïëåêñ MICEL ñõåìíîé ðåàëèçàöèè ïàðàëëåëüíûõ àëãîðèòìîâ ëîãè÷åñêîãî óïðàâëåíèÿ;
- ïðîãðàììíûé êîìïëåêñ LOGIC äëÿ ðåøåíèÿ êîìáèíàòîðíûõ çàäà÷ ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ è èñêóññòâåííîãî èíòåëëåêòà;
- ñèñòåìà FLC àâòîìàòèçèðîâàííîãî ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ äèñêðåòíûõ óñòðîéñòâ íà îñíîâå ïðîäóêöèîííî-ôðåéìîâîé ìîäåëè ïðåäñòàâëåíèÿ çíàíèé;
- êîìïëåêñ ïðîãðàìì FPGAConv êîíâåðòàöèè FPGA-ïðîåêòîâ ñåìåéñòâà Spartan3 â çàêàçíûå ÑÁÈÑ.
Ðàçðàáîòàíû òåîðèÿ ïðîåêòèðîâàíèÿ äèñêðåòíûõ ñèñòåì óïðàâëåíèÿ íà ýëåìåíòíîé áàçå íàñòðàèâàåìûõ (ïðîãðàììèðóåìûõ) ëîãè÷åñêèõ èíòåãðàëüíûõ ñõåì, òåîðèÿ ýôôåêòèâíîãî ëîãè÷åñêîãî âûâîäà â áàçàõ äàííûõ è çíàíèé ðàñïîçíàþùèõ ñèñòåì, òåîðèÿ ðåøåíèÿ ëîãè÷åñêèõ óðàâíåíèé áîëüøîé ðàçìåðíîñòè.
Ðàáîòû ñîòðóäíèêîâ ëàáîðàòîðèè áûëè ïðèçíàíû âàæíåéøèìè íàó÷íûìè ðåçóëüòàòàìè Èíñòèòóòà â 2007 – 2015 ãã.: «Ìîäåëè ïàðàëëåëüíûõ àëãîðèòìîâ ëîãè÷åñêîãî óïðàâëåíèÿ íà ÿçûêå VHDL» (2007ã.); «Äåêîìïîçèöèÿ áóëåâûõ ôóíêöèé» (2008 ã.); «Âåðèôèêàöèÿ îïèñàíèé êîìáèíàöèîííûõ óñòðîéñòâ â ïðîöåññå ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ» (2009 ã.); «Ïðîäóêöèîííî-ôðåéìîâàÿ ìîäåëü ïðåäñòàâëåíèÿ çíàíèé äëÿ óïðàâëåíèÿ ïðîöåññàìè ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ äèñêðåòíûõ óñòðîéñòâ» (2012 ã.); «Îïòèìèçàöèÿ ìíîãîóðîâíåâûõ ïðåäñòàâëåíèé ëîãè÷åñêèõ ñõåì äëÿ ñîêðàùåíèÿ ýíåðãîïîòðåáëåíèÿ è ïëîùàäè êðèñòàëëà ÑÁÈÑ» (2014 ã.).
 ÒÎÏ-100 ëó÷øèõ ðåçóëüòàòîâ ÍÀÍ Áåëàðóñè âêëþ÷åíà ðàáîòà «Ëîãè÷åñêîå ïðîåêòèðîâàíèå äèñêðåòíûõ óñòðîéñòâ ñ èñïîëüçîâàíèåì ïðîäóêöèîííî-ôðåéìîâîé ìîäåëè ïðåäñòàâëåíèÿ çíàíèé» (àâòîðû – Áèáèëî Ï.Í., Ðîìàíîâ Â.È.).
Çà âðåìÿ ñâîåãî ñóùåñòâîâàíèÿ ñîòðóäíèêàìè ëàáîðàòîðèè îïóáëèêîâàíî 50 ìîíîãðàôèé. Êàæäûé ãîä ñîòðóäíèêàìè ëàáîðàòîðèè ïóáëèêóåòñÿ îêîëî 50 íàó÷íûõ ðàáîò. Íåêîòîðûå èç íèõ âûõîäÿò â ìåæäóíàðîäíûõ æóðíàëàõ è òðóäàõ ìåæäóíàðîäíûõ êîíôåðåíöèé.
