Finite State Machines (FSMs) are essential components in digital systems, used to model the behavior of sequential circuits. The optimization of FSMs and logic synthesis is crucial for enhancing ...