Verilog代码描述对状态机综合的研究