TY - JOUR T1 - АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ JF - Информатика AU - Бибило П. Н., AU - Черемисинова Л. Д., Y1 - 2019-03-14 UR - https://www.academjournals.by/publication/19153 N2 - Дается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ОИПИ НАН Беларуси в области автоматизации логического проектирования дискретных устройств и сверхбольших интегральных схем. Сообщается также о разработанных в лаборатории комплексах программ и системах логического проектирования.