一个很好的状态机学习文档,貌似是台湾人写的,不错。。。。使用verilog描述的