Рассматриваются задачи проектирования алгоритмов функционирования цифровых устройств и их отладки путем моделирования. Приводятся примеры решения таких задач. Предлагается методика проектирования параллельных алгоритмов. Описывается инструментальная система, позволяющая автоматизировать разработку алгоритмов, в том числе параллельных, с последующей их верификацией. Приводятся примеры проектирования цифровых устройств. Учебное пособие подготовлено на кафедре ''Вычислительная техника'' и предназначено для студентов специальности 2201 при изучении ими дисциплин ''Теория автоматов'', ''Недетерминированные автоматы и их применение'', ''Организация ЭВМ'', выполнения курсового проектирования, а также может быть использовано студентами других специальностей при изучении дисциплин, связанных с разработкой алгоритмов для цифровых устройств и т.п