practice of 579D, include latch, flip flop, state machine format