AssertLLM2: A Comprehensive LLM Benchmark for Assertion Generation from Design Specifications

ArXi:2605.27472v1 Announce Type: cross Assertion-based verification (ABV) is a cornerstone of modern hardware design, yet manually translating design intent into formal SystemVerilog Assertions (SVAs) remains labor-intensive and error-prone. While Large Language Models (LLMs) show promise for automating this process, existing benchmarks remain limited by unrealistic task formulations, weak specification inputs, and oversimplified evaluation. To address these limitations, we