Verilog代码描述对状态机综合的研究剖析 第4页