Write the HDL definition of the $2-$bit binary counter shown in Figure $5-20.$ Use the stimulus unit from HDL example $5-7$ and show that the output response is the same as the waveform given in Figure $5-21.$