Elisavet Lydia Alvanaki

新框架使用形式共识来验证 LLM 生成的 RTL 设计

研究人员开发了一个名为 NoTB 的新框架，用于评估大型语言模型 (LLM) 生成的 RTL 设计的功能正确性。这种无预言机的方法通过对多个 LLM 系列生成的 RTL 实现应用顺序等价性检查 (SEC) 来利用形式共识。这些 LLM 生成的设计在 SEC 等价集群内的多样性提供了校准的正确性信号，使设计人员能够在不需要受信任的测试平台或黄金 RTL 的情况下做出接受/推迟决策。