AES: reseed
AES: reseed: a task in TitanBench: A Benchmark for Agentic RTL Design and Verification (Harbor dataset). Verify that internal PRNGs are effectively reseeded upon manually triggering a PRNG reseed. Verify the masking PRNG is reseeded automatically at the correct rate. Verify PRNGs do not get…
The task
> Verify that internal PRNGs are effectively reseeded upon manually triggering a PRNG reseed. Verify the masking PRNG is reseeded automatically at the correct rate. Verify PRNGs do not get reseeded unexpectedly and that data from EDN propagates into the PRNGs.
Part of billshockley/titanbench.