HPAI-BSC/SystemVerilog-RL-12k

SystemVerilog-RL-12k: SystemVerilog RL: RL dataset on Hugging Face. An RL dataset for SystemVerilog verification tasks. For each row, we ask the model to produce a self-checking testbench; a good testbench must pass on the golden design and fail on the mutants. The dataset contains 11,902…