RTL Datasets

We offer a massive corpus and RL environment for synthesizing and simulating VHDL, Verilog, and SystemVerilog.

Our data is fully synthetic, novel, and proprietary. Exclusive and non-exclusive licenses cover our compiled dataset packages, verification artifacts, manifests, and curation methodology, not third-party rights. Trained models and outputs remain yours.

Contact us via:
Email: root@puul.ai
Signal/text: 650-880-9229

RTL by Chip Type

TPU

GPU

CPU

SoC

DPU

MPU

NPU

ASIC

MCU

FPGA

Waveform & Signal Processing

Oscilloscopes

ADC

DAC

DDS & Waveform Generation

Simulation & Waveform Tooling

For training AI on chip design

Pre-training

Post-training (RL Environments)

Additional architectures and flow categories available for review.

Contact us via:
Email: root@puul.ai
Signal/text: 650-880-9229

SoC Design + Verification RLVR Evaluation Sample: 5 Tasks

An evaluation 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

Not included

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 evaluation evidence without reducing rights provided by those terms.

Required purchase agreement

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.