This is a synthesizable model of the 4017 counter written in VHDL.