Watchdog Timer Peripheral

[MrAbhi19]

Watchdog Timer Peripheral

Base Address

0x0400_3000

Description

Configurable watchdog timer requiring periodic servicing by software.

Registers

Offset	Register	R/W	Description
0x00	CTRL	R/W	Enable watchdog
0x04	TIMEOUT	R/W	Timeout value
0x08	KICK	W	Reload watchdog counter
0x0C	STATUS	R	Expired flag

Expected Outputs

output watchdog_reset

Requirements

• Watchdog countdown starts when enabled.

• Software must periodically write to KICK register.

• Timeout event shall assert watchdog_reset.

• Include firmware validation example.

• Include simulation support using the standard PicoSoC verification flow.