Using the domestic CAD "Ark" in the educational process

The article deals with the possibilities of using the domestic CAD "Ark" in practical classes on disciplines Mathematical logic, Algorithms and complexity analysis, Discrete mathematics, Circuitry. The system was developed in the technical center of the Moscow Institute of Electronic Technology and is focused on semi-sales of digital devices based on Uncommitted Logic Array (ULA). The urgent need for its introduction in the educational process is caused by the most important tasks of import substitution of the electronic element base and the requirements of using domestic software. The paper considers an example of the synthesis of a simple finite state machine which can be used in practical and laboratory studies, as well as in the independent work of students.