HF RL Explorer

HMAC: stress reset

HMAC: stress reset: a task in TitanBench: A Benchmark for Agentic RTL Design and Verification (Harbor dataset). Run multiple hmac long msg sequences with random on-the-fly reset to ensure that all FSM transitions are exercised.

The task

> Run multiple hmac_long_msg sequences with random on-the-fly reset to ensure that all FSM transitions are exercised.

Part of billshockley/titanbench.