Correctness of the operation of the design was confirmed using simulation utility of the PLDshell. Simulation output (wave file) is attached in the section 2.1.1 of Appendix.