1
canitbebuilt
上传你的硬件创意，自动给出可行性评估、物料清单和3D模型，还支持社区讨论
Your hardware idea, inspected. Verdict, BOM, 3D model. Discussion | Link
2
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…
3
SpecAlign: A Semantic Alignment Framework for SystemVerilog Assertion Generation
用语义对齐技术自动生成SystemVerilog断言，为硬件验证带来AI新思路
arXiv:2605.25181v1 Announce Type: new Abstract: Existing Large Language Model (LLM) approaches to SystemVerilog Assertion (SVA) generation primarily f…