Chapters of System Design > Synthesis > Finite State Machines and VHDL
Introduction
State Processes
State Coding
Medvedev
Moore
Mealy
Registered Output
FSM and Simulation
FSM and Synthesis