Излагается теория проектирования СБИС на основе эквивалентных преобразований закона функционирования проектируемого устройства. Поиск архитектуры устройства осуществляется путем трансформации алгоритма в направлении, ведущем к улучшению таких характеристик устройства, как время, сложность. Преобразования алгоритма ведутся с использованием методов дискретной оптимизации и логического вывода. Большое внимание уделяется теории распараллеливания последовательных, ветвящихся и циклических алгоритмов. Излагаются методы построения системы преобразований алгоритмов, являющейся ядром САПР СБИС. Ориентирована на научных работников, занимающихся проблемами построения САПР СБИС, проектированием цифровых интегральных схем и устройств на их основе. Это и многое другое вы найдете в книге Теория эквивалентных преобразований алгоритмов в САПР СБИС (В. А. Мищенко, А. А. Прихожий)