An Approach of Using Logisim for the Purposes of Synthesis of Finite-State Machines

The paper presents an approach of using Logisim for synthesis of finite-state machines, such as counters and frequency dividers. The methodology described in the paper is used in the courses “Digital Electronics” and “Pulse and Digital Devices” for Bachelors in the specialties “Computer Systems and Technologies” and “Electronics” in the University of Ruse, in their teamwork and project-based learning.