ChipVerilog
64 OpenCores-derived targets (cores, FPU, I2C, CORDIC) testing hierarchical, cross-module RTL interaction via equivalence checking and simulation.
What it does and how it connects
ChipVerilog is a description-to-Verilog generation benchmark built from OpenCores IP and core designs, addressing the gap that most existing benchmarks use short, self-contained module-level tasks that do not capture the code scale, hierarchy and module interactions of practical IP and processor-core RTL.
The benchmark contains 64 generation targets from five design families: OR1200, double-precision FPU, MIPS-16, I2C and CORDIC. It includes both single-module targets and cross-module targets that instantiate or interact with other RTL modules, and several targets exceed 1,000 lines of Verilog, making it substantially larger and structurally more complex than typical module-level suites.
Each benchmark instance is constructed from a pair of specification documents and reference RTL. The authors extract the target functionality, write a detailed natural-language description and manually review it for correctness and clarity. Generated RTL is checked by compilation and validated through equivalence checking for local modules, or by simulation for integrated IP and core targets. Results show large-scale RTL remains challenging, especially for hierarchical and cross-module designs.
Alternatives
Compare side by side- VerilogEval
156 HDLBits-derived description-to-Verilog tasks verified by Icarus Verilog simulation, rather than 64 OpenCores-derived hierarchical targets.
- RTLLM 2.0
50 realistic natural-language-described designs scored on syntax, functionality, synthesis and PPA, rather than 64 OpenCores-derived hierarchical targets.
- ChipBench
44 hierarchical Verilog modules, 89 injected-bug debug cases and 132 reference-model tasks, rather than 64 OpenCores-derived hierarchical targets.
- RealBench
60 module-level and 4 system-level tasks from real IP, evaluated with Verilator plus JasperGold formal, rather than 64 OpenCores-derived hierarchical targets.
- CVDP
783 engineer-authored problems across 13 categories covering RTL design and verification, rather than 64 OpenCores-derived hierarchical targets.
Sources
Not verified
- License: no license is stated on the arXiv page read.
- A public repo or dataset link: no repository URL appears on the abstract page read.
- Pricing: none stated (research benchmark).
- Real user voices: no real linked post read for this page.
- Related Error Index entries: no matching entry verified.
Last verified November 6, 2026. Listings are informational. The evidence score measures public, verifiable evidence and is not an endorsement or a compatibility claim.