HF RL Explorer

AON TIMER: jump

AON TIMER: jump: a task in TitanBench: A Benchmark for Agentic RTL Design and Verification (Harbor dataset). Change threshold values and prescaler value on random times without locking configuration registers of watchdog timer. Stimulus : - Register writes to WDOG BARK THOLD, WDOG BITE THOLD, WKUP…

The task

> Change threshold values and prescaler value on random times without locking configuration registers of watchdog timer. **Stimulus**: - Register writes to WDOG_BARK_THOLD, WDOG_BITE_THOLD, WKUP_THOLD, WKUP_CTRL **Checks**: - If we are changing WDOG_BARK_THOLD to be lower than the current WDOG_COUNT watchdog timer…

Part of billshockley/titanbench.