Gray-code counter

A digital counter following a Gray code, so adjacent output states differ in exactly one bit. The two-bit cycle $00,01,11,10$ is implemented by D flip-flops with next-state functions $G^{+}=H$, $H^{+}=\neg G$.