1、时序逻辑电路设计的状态化简