述时序逻辑设计