CSRNG: alert
CSRNG: alert: a task in TitanBench: A Benchmark for Agentic RTL Design and Verification (Harbor dataset). Verify recov alert asserts when recov alert sts becomes non-zero. Verify each respective bit of recov alert sts asserts when: control register values are not valid kMultiBitBool, flag0 on…
The task
> Verify recov_alert asserts when recov_alert_sts becomes non-zero. Verify each respective bit of recov_alert_sts asserts when: control register values are not valid kMultiBitBool, flag0 on initiate/reseed is not valid kMultiBitBool, genbits bus equals prior valid value, illegal command is used (0x0, 0x6-0xf). Verify…
Part of billshockley/titanbench.