Back to RTL Datasets

SoC Design + Verification RLVR Diagnostic Sample: 5 Tasks

A diagnostic package spanning UART, memory, and RV32 CPU work. It contains three RTL design or repair tasks and two verification-authoring tasks built around Verilog/SystemVerilog, Python, cocotb, Icarus Verilog, Verilator, and Yosys.

Included

Five task bundles with specifications, editable starter files, Makefiles, and public tests
Task metadata, locked reward contracts, environment requirements, provenance, and admission summaries
Protocol and trajectory schemas, aggregate evaluation results, and sanitized per-snapshot reward trajectories from one fresh attempt per task
A SHA-256 manifest covering the delivered files
Artifact version 1.0.2, delivered as soc-dv-gpt-5.3-codex-spark-customer-package-v1.0.2.zip

Not included

Private graders, hidden tests, mutation banks, gold solutions, or completed model solutions
Raw agent messages, candidate diffs, provider thread or receipt identifiers, credentials, or private toolchain images
A turnkey hidden-reward runtime or permission to represent the evaluation results as a production benchmark

The sample includes third-party source material. Applicable third-party terms and notices govern the corresponding files. The sample license governs operator-authored packaging, curation, metadata, schemas, verification contracts, and diagnostic evidence without reducing rights provided by those terms.

Required purchase agreement I understand that this is a five-task diagnostic sample, not a production benchmark or turnkey hidden-reward runtime; that it excludes private graders, hidden tests, mutation banks, gold solutions, completed model solutions, raw agent messages, candidate diffs, provider identifiers, credentials, and private toolchain images. I have reviewed and accept both the Sample License and Limitations version 1.0.0 and the Terms, Parties, and Order Binding supplement version 1.0.0. I also acknowledge the digital delivery and refund policy and privacy notice.

Enable JavaScript to check secure checkout availability, or email root@puul.ai for help.

Secure checkout is provided by Stripe. Payment confirmation and private download delivery are automated through Cloudflare, with access presented immediately after checkout.