RTL-BenchLS: New Large-Scale Benchmark for LLM-Based Hardware Design Automation
Researchers have released RTL-BenchLS, a benchmark containing over 10,000 formally verified Verilog hardware designs to test large language models on RTL reasoning and generation tasks. Existing benchmarks were too small and simple, with frontier models already saturating their performance ceilings, making a more challenging evaluation necessary. The results expose significant limitations in current LLMs for hardware design automation, with even the best model scoring only 23% on key reasoning tasks.
A team of researchers has introduced RTL-BenchLS, a large-scale benchmark designed to evaluate large language models on register-transfer level (RTL) hardware design tasks. The benchmark includes more than 10,000 formally verified Verilog designs that are substantially larger and more complex than those found in prior benchmarks. Beyond the conventional specification-to-RTL generation task, RTL-BenchLS introduces three novel evaluation tasks: round-trip reasoning, masked-content reasoning, and repository-issue reasoning. Two of these tasks are self-supervised, which addresses a core bottleneck in scaling RTL benchmarks—the scarcity of aligned, high-quality labeled data for real-world designs. All tasks are verified through formal equivalence checking, eliminating the need for manual testbenches. Evaluation of eight LLMs on the benchmark revealed stark performance gaps: the best model achieved only 23% on natural-language round-trip reasoning, 28% on masked-content reasoning, and 12% on repository-issue fixing. The authors argue these results demonstrate substantial room for improvement and provide a roadmap for advancing LLM-based hardware design methods.
What's missing
The benchmark currently covers only Verilog; generalizability to other hardware description languages such as VHDL or SystemVerilog is not addressed. The study's own scope is limited to formal equivalence checking as a correctness criterion, which may not capture all dimensions of design quality relevant to real-world hardware engineering.
What different sources said
- arXiv cs.CLCenter
OpenRTLSet: A Fully Open-Source Dataset for Large Language Model-based Verilog Module Design
Related
Gut Bacteria Enzyme Found to Break Down Heat-Processed Food Compounds, Producing Novel Biogenic Amines
Researchers have discovered that an enzyme in common gut bacteria can degrade N-epsilon-carboxymethyllysine (CML), a compound formed during thermal food processing, producing previously unknown biogenic amines. The enzyme, ornithine decarboxylase SpeC from enterobacteria, acts on CML and related modified lysine derivatives through a low-level 'underground' catalytic activity. This finding suggests a previously unrecognized communication axis between thermally processed dietary compounds and gut microbial physiology, with potential implications for host health.
Full-Length Gene Sequencing Reveals Two Distinct Bacterial Communities in Black-Legged Ticks Expanding Into Canada
Researchers used Oxford Nanopore full-length 16S rRNA gene sequencing to characterize the microbiome of Ixodes scapularis black-legged ticks collected in Nova Scotia, Canada, distinguishing between tick-adapted bacteria and environmentally acquired bacteria. The study comes as I. scapularis — the primary vector of Lyme disease — is rapidly expanding northward into Canada due to climate change. The findings suggest that environmentally derived bacteria in tick microbiomes are not mere contamination, which has implications for how tick microbiome data is collected and interpreted across surveillance studies.
Study Identifies Metabolic Link Between Cell Envelope Stress and Biofilm Formation in Bacteria
Researchers have discovered that the metabolite acetyl-CoA directly inhibits enzymes that degrade the bacterial signaling molecule c-di-GMP, connecting cell envelope biosynthesis stress to biofilm formation in Pseudomonas aeruginosa. The study found that sub-inhibitory concentrations of antibiotics targeting early peptidoglycan biosynthesis — but not other antibiotic classes — elevate c-di-GMP levels by reducing phosphodiesterase activity, with acetyl-CoA competing for the enzyme active site. Because the relevant enzyme domain is broadly conserved across bacterial species, this checkpoint mechanism may be widespread and could have implications for understanding antibiotic-induced biofilm responses.