状态机的设计理论基础,设计指导。以Verilog 或VHDL为讲解语言。英文版。