HF RL Explorer

RV TIMER: disabled

RV TIMER: disabled: a task in TitanBench: A Benchmark for Agentic RTL Design and Verification (Harbor dataset). This test to verify no activity in mTime, Interrupt Status, Interrupt signal, When all timers are deactivated (ctrl.active = 0). - Program 1 in interrupt enable and 0 in control register…

The task

> This test to verify no activity in mTime, Interrupt Status, Interrupt signal, When all timers are deactivated (ctrl.active = 0). - Program 1 in interrupt enable and 0 in control register and random value for rest of the registers - Scoreboard check for no activity and no interrupt whatever is setting

Part of billshockley/titanbench.