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