HF RL Explorer

AES: nist vectors

AES: nist vectors: a task in TitanBench: A Benchmark for Agentic RTL Design and Verification (Harbor dataset). Verify that the DUT handles the NIST test vectors correctly.

The task

> Verify that the DUT handles the NIST test vectors correctly.

Part of billshockley/titanbench.