研究人员开发了一个名为 NoTB 的新框架，用于评估大型语言模型 (LLM) 生成的 RTL 设计的功能正确性。这种无预言机的方法通过对多个 LLM 系列生成的 RTL 实现应用顺序等价性检查 (SEC) 来利用形式共识。这些 LLM 生成的设计在 SEC 等价集群内的多样性提供了校准的正确性信号，使设计人员能够在不需要受信任的测试平台或黄金 RTL 的情况下做出接受/推迟决策。 AI
影响 该框架可能实现对 LLM 生成的硬件设计的更可靠的早期评估，从而可能加快开发周期。
排序理由 该集群包含一篇研究论文，详细介绍了用于评估 LLM 生成代码的新技术框架。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
