verl

# RTLLM2 Verilog benchmark data This dataset contains the RTLLM2 benchmark assets used by the VeriGnpo/Verilog RL evaluation scripts. ## Contents - `rtllm2/raw/`: per-case benchmark directories, including original design descriptions and testbenches. - `rtllm2/meta_data.json`: RTLLM2 metadata. - `rtllm2/run_meta_data.json`: run metadata from the local benchmark copy. - `rtllm2/summary.json`, `rtllm2/summary.csv`, `rtllm2/all_metrics.json`: summary/metric files from the local benchmark copy. ## Source Copied from the local VeriGnpo benchmark path: ```text /home/wangning/VeriGnpo/data/benchmark/rtllm2 ``` This repo intentionally contains benchmark data only, replacing any previous `verl` dataset content.