4.9 时序逻辑电路的自动综合

4.9.4 时序机的状态分配