HF RL Explorer

AES: nist vectors gcm

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

The task

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

Part of billshockley/titanbench.