Public proof layer

Benchmarks that make
AI RTL measurable

Nexeda is evaluated on standard RTL blocks with reference RTL/DV checks and live RTLPilot run results when engineers exercise the platform. This page separates measured evidence from roadmap claims.

20
reference IP blocks tracked
20
reference RTL/DV passing
0
latest RTLPilot runs loaded
-
live run pass rate
Honest MVP note: reference validation means the bundled RTL and self-checking DV compile and pass. RTLPilot generation results are overlaid from the latest backend session when users run examples. Persistent benchmark history is the next database-backed step.
Benchmark suite

Standard blocks, transparent results

Filter by current maturity. Each card shows review status, simulation status, generated assertions, coverage proxy, runtime, iterations, assumptions and next steps.

Evaluation table

Compact scorecard

This table is the investor/customer proof surface: what is reference-validated, what has a latest AI-generated run, and where the system still needs work.

Run the same style of workflow

Try a benchmark-like block in the Playground, or review your own RTL with ReviewForge.

Open Playground Open ReviewForge