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