VLSI-Project Synthesis and verification of the ps/2 protocol that enables the communication between the keyboard and the DE0 device