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