Автоматизация проектирования сложных логических структур

Книга посвящена автоматизации проектирования логических структур из заданных интегральных модулей на основе создания программных пакетов, автоматически учитывающих проективную семантику реализуемых преобразований, что позволяет разрабатывать оптимальную стратегию автоматизированного проектирования сложных логических структур высокого качества. Реализация пакетов осуществляется с использованием предлагаемых программных средств - Системы Интерпретации Булевой Логики (СИБУЛ). Приводятся примеры разработки логической структуры из многофункциональных адаптивных модулей промышленной автоматики. Книга будет полезна специалистам, занимающимся автоматизацией проектирования цифровых управляющих комплексов, а также аспирантам и студентам соответствующих специальностей.