触发器、计数器的应用,时序电路的自动化设计