HF RL Explorer

DMA: memory region lock

DMA: memory region lock: a task in TitanBench: A Benchmark for Agentic RTL Design and Verification (Harbor dataset). Test DMA memory region lock functionality. Locks DMA memory configuration registers, randomly attempts to change region base/limit during operation, resets design, then repeats…

The task

> Test DMA memory region lock functionality. Locks DMA memory configuration registers, randomly attempts to change region base/limit during operation, resets design, then repeats without locking. Verifies writes are ignored while range_regwen.regwen is cleared and regwen resets to MuBi4True.

Part of billshockley/titanbench.