Design and verification of an ARM Watchdog Timer using UVM. (12th December 2022)