Programmable 4-bit binary down counter