Figure 7.8 Positive Edge-Triggered D Flip-Flop Using rising_edge