The source file can be found here: Debouncer_Ver2.vhd