资讯

Webinar – Avestra Explains How to Achieve Assertion Driven Silicon Success

SemiWiki·2026/9/10 21:00:29🔗 原文

📋总体概括

Avesta将举办网络研讨会,主题为如何以断言驱动实现芯片验证成功。数据显示,近20%的验证周期耗费在断言生成、调试与方法学集成上,且该工作大多仍靠人工完成;若交给通用大语言模型,错误断言产出率超过30%。Avesta以代理式AI(agentic AI)切入这一验证瓶颈,主打自动生成高质量SVA断言,意在压缩验证周期、降低流片风险。

关键信息

  • 研究显示近20%的验证周期消耗在断言生成、调试与方法学集成上
  • 通用LLM生成的断言错误率超过30%,直接采用存在流片风险
  • Avesta用agentic AI自动化断言流程,替代人工与通用大模型方案
  • 该活动以网络研讨会形式通过SemiWiki平台发布

🔥犀利点评

断言是验证链条里最脏最累的活,人工写没人爱干,通用LLM写三成是错的——这个30%错误率恰恰说明验证不是「会写代码」就能碰的领域。Avesta赌的是垂直化agentic AI能吃下这个细分环节。方向对,但验证工具市场从来是Cadence、Synopsys的地盘,小公司要么被收购,要么得证明方法论真能落地,光靠一场webinar远远不够。

本文由本站自动聚合,以下为原始来源:前往 SemiWiki 阅读全文