Finite State Machine (FSM) Design

It is the type of digital logic design used to model and synthesize sequential circuits such as counters, state machines, etc.