RTL-BenchLS - Round-Trip Diagram Spec: leaderboard
Metric: Functional pass rate (%) on round-trip reasoning on 420 designs (slice 1 of RTL-BenchLS): the model compresses a Verilog design into an intermediate abstract, then regenerates the RTL from its own abstract, the abstract a diagram-style natural-language specification (state tables, truth tables, block descriptions); functional pass rate (%; output formally equivalent to the golden design, Cadence Conformal LEC for combinational and JasperGold SEC for sequential designs), temperature 0.2; higher is better. Source: arxiv.org. Saturation forecast: Around May 2028. 8 models tracked.
Top models
| # | Model | Score |
|---|---|---|
| 1 | Claude Sonnet 4.5 | 39.5 |
| 2 | Claude Haiku 4.5 | 30.3 |
| 3 | GPT-4o | 24.6 |
| 4 | GPT-4o Mini | 18 |
| 5 | DeepSeek V3.2 | 16.4 |
| 6 | Qwen 3.5 397B A17B | 3.7 |
| 7 | Llama 3.3 70B Instruct | 3.3 |
Interactive version: theaggregate.ai/benchmark?slug=rtl-benchls-round-trip-diagram-spec · How It Works · Data refreshed daily, snapshot 2026-09-29.