Chapters of System Design > Synthesis > Finite State Machines and VHDL