The problems of designing algorithms for the functioning of digital devices and their debugging by modeling are considered. Examples of such solutions. Proposed method of designing parallel algorithms. A tool system is described that allows to automate the development of algorithms, including parallel ones, with their subsequent verification. Examples of digital device design. The textbook was prepared at the Department of "Computer Engineering" and is intended for students of specialty 2201 in the study of their disciplines "Theory of automata" , 'Undeterministic automata and their use', 'Computer Organization', Implementation of course design, and can also be used by students of other specialties in the study of disciplines , associated with the development of algorithms for digital devices and t.