LLM助力芯片设计，从规范到形式化属性的自动化转换 近年来，随着芯片设计复杂度的不断提升，如何高效地将设计规范转化为可验证的形式化属性成为行业关注的焦点。一项最新研究表明，大型语言模型（LLM）在这一领域展现出显... 2026年08月28日 半导体/芯片 #LLM #AI工具
