1
AssertLLM2: A Comprehensive LLM Benchmark for Assertion Generation from Design Specifications
首个从设计规范自动生成断言的LLM综合基准，评估模型在硬件验证中的实际能力。
arXiv:2605.27472v1 Announce Type: cross Abstract: Assertion-based verification (ABV) is a cornerstone of modern hardware design, yet manually translat…