Skip to content
Preprint

NetlistBench: Evaluating LLM Reliability in SPICE Netlist Recognition and Manipulation

Aug 2026 · 1 citation · 31 references
Engineering Computer Science

TL;DR

NetlistBench identifies netlist reliability as a distinct bottleneck for trustworthy LLM-based circuit design automation as well as a structure-verified benchmark for SPICE netlist recognition and manipulation.

Abstract

Large Language Models (LLMs) are increasingly used in circuit design workflows, yet their reliability on simulator-facing SPICE netlist recognition and manipulation remains poorly understood and is rarely separated from high-level design reasoning. Although netlists are textual, they encode structured circuit objects through topology and parameters. We present \textbf{NetlistBench}, a structure-verified benchmark for SPICE netlist recognition and manipulation. NetlistBench contains 2,342 cases across 24 task families, covering parameter and connectivity recognition and edits, hierarchical operations, equivalence judgment, and long-horizon compound editing. Model outputs are evaluated by a deterministic structure-aware oracle. Across six non-thinking LLMs, performance varies substantially with operation-level structural complexity. Simple local edits reach $96\%$--$100\%$ accuracy, while device addition drops to $41\%$--$83\%$ and equivalence judgment to $49\%$--$90\%$. Enabling reasoning substantially improves weaker models but does not eliminate structure-preservation failures, with performance still degrading sharply as the edit horizon increases. NetlistBench identifies netlist reliability as a distinct bottleneck for trustworthy LLM-based circuit design automation.

View source

Similar papers

#artificial intelligence Preprint Sep 2026

PerfReasoning: How Well Do LLMs Reason on Hardware Performance?

PerfReasoning is introduced, a benchmark that evaluates LLMs both as direct performance reasoners and as generators of analytical performance-model code, exposing the gap between plausible architectural reasoning and reliable performance-model construction.

Da Zhao, K. Sankaralingam, Christos Kozyrakis et al. · 0 citations
Preprint Aug 2026

SYNTLOG: FSM Benchmarks Evaluation for FPGA

We introduce a curated benchmark collection of \num{101} FSM descriptions organized into five size classes (\emph{small}, \emph{medium}, \emph{large}, \emph{huge}, \emph{super-huge}), spanning tens to thousands of states and up to hundreds of inputs and outputs. Using these benchmarks we compare an architecture-indepen...

S. Baranov, D. Gorodecky · 0 citations
Preprint Aug 2026

NoTB: Oracle-Free Triage of LLM-Generated RTL via Cross-Model Formal Consensus

NoTB is introduced, an oracle-free triage framework that infers correctness from cross-model formal consensus and demonstrates that formal cross-model agreement provides a reliable basis for high-confidence triage without model-dependent oracles.

Elisavet Lydia Alvanaki, Je Yang, Biruk B. Seyoum et al. · 0 citations
Preprint Sep 2026

GRADE-RTL: Evaluating LLM-Generated RTL Beyond Compilation

Large language models (LLMs) can generate register-transfer-level (RTL) code from natural-language specifications, but compilation alone does not establish structural completeness, functional correctness, or implementation efficiency. This paper presents a framework for evaluating LLM-generated RTL beyond compilation,...

Hepziba Susan, R. ShivaranjaniG, Malik Imran et al. · 0 citations
Conference Sep 2026

PARAYOSYS: Tail-Aware Partition-Based Parallel RTL Synthesis

Open-source RTL synthesis still underuses multicore machines because backend optimization mixes local rewriting with global transformations. We present ParaYosys, a partition-based parallel RTL synthesis framework implemented inside Yosys. ParaYosys partitions flattened RTL, exports deterministic partition netlists, ru...

Zheng-Yi Zhang, Si-Jing Yang, Ling-Li Wang · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.